git.r.bdr.sh / rbdr / dotfiles / blame
| Commit | Line | Data |
|---|---|---|
| fa250235 BB |
1 | # |
| 2 | # Sets history options and defines history aliases. | |
| 3 | # | |
| 4 | # Authors: | |
| 5 | # Robby Russell <robby@planetargon.com> | |
| 6 | # Sorin Ionescu <sorin.ionescu@gmail.com> | |
| 7 | # | |
| 8 | ||
| 9 | # | |
| 10 | # Variables | |
| 11 | # | |
| 12 | ||
| 13 | HISTFILE="${ZDOTDIR:-$HOME}/.zhistory" # The path to the history file. | |
| 14 | HISTSIZE=10000 # The maximum number of events to save in the internal history. | |
| 15 | SAVEHIST=10000 # The maximum number of events to save in the history file. | |
| 16 | ||
| 17 | # | |
| 18 | # Options | |
| 19 | # | |
| 20 | ||
| 21 | setopt BANG_HIST # Treat the '!' character specially during expansion. | |
| 22 | setopt EXTENDED_HISTORY # Write the history file in the ':start:elapsed;command' format. | |
| 23 | setopt INC_APPEND_HISTORY # Write to the history file immediately, not when the shell exits. | |
| 24 | setopt SHARE_HISTORY # Share history between all sessions. | |
| 25 | setopt HIST_EXPIRE_DUPS_FIRST # Expire a duplicate event first when trimming history. | |
| 26 | setopt HIST_IGNORE_DUPS # Do not record an event that was just recorded again. | |
| 27 | setopt HIST_IGNORE_ALL_DUPS # Delete an old recorded event if a new event is a duplicate. | |
| 28 | setopt HIST_FIND_NO_DUPS # Do not display a previously found event. | |
| 29 | setopt HIST_IGNORE_SPACE # Do not record an event starting with a space. | |
| 30 | setopt HIST_SAVE_NO_DUPS # Do not write a duplicate event to the history file. | |
| 31 | setopt HIST_VERIFY # Do not execute immediately upon history expansion. | |
| 32 | setopt HIST_BEEP # Beep when accessing non-existent history. |