history.zsh
5da20b9d
 ## Command history configuration
 #
8fe67686
 HISTFILE=$HOME/.zsh_history
 HISTSIZE=5000
 SAVEHIST=5000
5da20b9d
 setopt hist_ignore_dups # ignore duplication command history list
 setopt share_history # share command history data
556ee419
 
 setopt hist_verify
 setopt inc_append_history
 setopt extended_history
 setopt hist_expire_dups_first