zsh/lib/history.zsh

   1 ## Command history configuration
   2 HISTFILE=$HOME/.zsh_history
   3 HISTSIZE=10000
   4 SAVEHIST=10000
   5
   6 setopt append_history
   7 setopt extended_history
   8 setopt hist_expire_dups_first
   9 setopt hist_ignore_dups # ignore duplication command history list
  10 setopt hist_ignore_space
  11 setopt hist_verify
  12 setopt inc_append_history
  13 setopt share_history # share command history data