history.zsh 368 B

123456789101112131415
  1. ## Command history configuration
  2. if [ -z "$HISTFILE" ]; then
  3. HISTFILE=$HOME/.zsh_history
  4. fi
  5. HISTSIZE=10000
  6. SAVEHIST=10000
  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