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 ====== |