Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |||
| public:bash_tips [2011/08/06 17:08] – [History] Nico | public:bash_tips [2011/08/06 17:10] (current) – Nico | ||
|---|---|---|---|
| Line 91: | 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 ====== | ||