lib/history.zsh
5da20b9d
 ## Command history configuration
8fe67686
 HISTFILE=$HOME/.zsh_history
ff545e69
 HISTSIZE=10000
 SAVEHIST=10000
8a8a7baf
 
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
93f9825b
 
 setopt SHARE_HISTORY
 setopt APPEND_HISTORY