lib/history.zsh
5da20b9d
 ## Command history configuration
8fe67686
 HISTFILE=$HOME/.zsh_history
ff545e69
 HISTSIZE=10000
 SAVEHIST=10000
8a8a7baf
 
3fc812af
 setopt append_history
556ee419
 setopt extended_history
 setopt hist_expire_dups_first
3fc812af
 setopt hist_ignore_dups # ignore duplication command history list
edc8e3d0
 setopt hist_ignore_space
3fc812af
 setopt hist_verify
 setopt inc_append_history
 setopt share_history # share command history data