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 |