history.zsh 437 B

123456789101112131415161718
  1. ## Command history configuration
  2. if [ -z "$HISTFILE" ]; then
  3. HISTFILE=$HOME/.zsh_history
  4. fi
  5. if [ -z "$HISTSIZE" ]; then
  6. HISTSIZE=10000
  7. fi
  8. if [ -z "$SAVEHIST" ]; then
  9. SAVEHIST=10000
  10. fi
  11. setopt extended_history
  12. setopt hist_expire_dups_first
  13. setopt hist_ignore_dups # ignore duplication command history list
  14. setopt hist_ignore_space
  15. setopt hist_verify
  16. setopt inc_append_history
  17. setopt share_history # share command history data