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 |