Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
| public:bash_tips [2009/04/07 10:38] – created Nico | public:bash_tips [2011/08/06 17:10] (current) – Nico | ||
|---|---|---|---|
| Line 79: | Line 79: | ||
| Shortcuts can be customized using / | Shortcuts can be customized using / | ||
| - | | + | < |
| - | " | + | " |
| + | " | ||
| + | </ | ||
| + | |||
| ===== Completion ===== | ===== Completion ===== | ||
| Line 87: | 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 ' | ||
| + | < | ||
| + | export HISTTIMEFORMAT=' | ||
| + | </ | ||
| ====== Useful links ====== | ====== Useful links ====== | ||