Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Last revisionBoth sides next revision
public:bash_tips [2011/08/06 17:07] – [History] Nicopublic:bash_tips [2011/08/06 17:08] – [History] Nico
Line 77: Line 77:
 ===== History ===== ===== History =====
  
-  * Shortcuts can be customized using /etc/inputrc or ~/.inputrc; here are the lines to add to have a csh-style history:+Shortcuts can be customized using /etc/inputrc or ~/.inputrc; here are the lines to add to have a csh-style history:
  
 <code> <code>
Line 84: Line 84:
 </code>   </code>  
      
-  * To add timestamping: 
  
-  export HISTTIMEFORMAT='%Y-%m-%d %H:%M ' 
 ===== Completion ===== ===== Completion =====