Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Last revisionBoth sides next revision | ||
public:bash_tips [2011/08/06 17:07] – [History] Nico | public:bash_tips [2011/08/06 17:08] – [History] 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 ===== | ||