history.zsh 352 B

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