2018-12-08 14:06:22 -05:00
|
|
|
history
|
2015-12-15 02:45:18 -05:00
|
|
|
=======
|
|
|
|
|
2018-12-08 14:06:22 -05:00
|
|
|
Sets sane history options.
|
2015-12-15 02:45:18 -05:00
|
|
|
|
2018-12-08 14:06:22 -05:00
|
|
|
The history is set to be saved in the `${ZDOTDIR:-${HOME}}/.zhistory` file.
|
2015-12-15 02:45:18 -05:00
|
|
|
|
2018-12-08 14:06:22 -05:00
|
|
|
Zsh options
|
2015-12-15 02:45:18 -05:00
|
|
|
-----------
|
|
|
|
|
2018-12-08 14:06:22 -05:00
|
|
|
* `BANG_HIST` performs csh-style '!' expansion.
|
|
|
|
* `SHARE_HISTORY` causes all terminals to share the same history 'session'.
|
|
|
|
* `HIST_IGNORE_DUPS` does not enter immediate duplicates into the history.
|
|
|
|
* `HIST_IGNORE_ALL_DUPS` removes older command from the history if a duplicate is to be added.
|
|
|
|
* `HIST_IGNORE_SPACE` removes commands from the history that begin with a space.
|
|
|
|
* `HIST_SAVE_NO_DUPS` ommits older commands that duplicate newer ones when saving.
|
|
|
|
* `HIST_VERIFY` doesn't execute the command directly upon history expansion.
|
2015-12-15 02:45:18 -05:00
|
|
|
|
|
|
|
Aliases
|
|
|
|
-------
|
|
|
|
|
|
|
|
* `history-stat` lists the 10 most used commands
|