Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
public:bash_tips [2011/08/06 17:07] – [History] Nico | public:bash_tips [2011/08/06 17:10] (current) – Nico | ||
---|---|---|---|
Line 77: | Line 77: | ||
===== History ===== | ===== History ===== | ||
- | * Shortcuts can be customized using / | + | Shortcuts can be customized using / |
< | < | ||
Line 84: | Line 84: | ||
</ | </ | ||
| | ||
- | * To add timestamping: | ||
- | export HISTTIMEFORMAT=' | ||
===== 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 ' | ||
+ | < | ||
+ | export HISTTIMEFORMAT=' | ||
+ | </ | ||
====== Useful links ====== | ====== Useful links ====== |