Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
public:bash_tips [2011/08/06 17:07] – [History] Nicopublic:bash_tips [2011/08/06 17:10] (current) – 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 =====
  
Line 93: Line 91:
  
 The first command allows completion by pressing just [Tab], the second command adds a sign for each filetype (* for executable file) The first command allows completion by pressing just [Tab], the second command adds a sign for each filetype (* for executable file)
 +
 +====== Misc. tweaks ======
 +
 +Activate timestamping in 'history':
 +<code>
 +export HISTTIMEFORMAT='%Y-%m-%d %H:%M:%S '
 +</code>
  
 ====== Useful links ====== ====== Useful links ======