history.zsh
5da20b9d
 # History stuff.
 setopt HIST_VERIFY
 setopt INC_APPEND_HISTORY
 setopt SHARE_HISTORY
 setopt EXTENDED_HISTORY
 setopt HIST_IGNORE_DUPS
 
 ## Command history configuration
 #
 HISTFILE=$ZSH/log/.zsh_history
 HISTSIZE=2500
 SAVEHIST=2500
 setopt hist_ignore_dups # ignore duplication command history list
 setopt share_history # share command history data