| | 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. |
git.r.bdr.sh / rbdr / dotfiles / blame_incremental