| 5da20b9d | ## Command history configuration |
| 8fe67686 | HISTFILE=$HOME/.zsh_history |
| 42f873ca | HISTSIZE=100000 SAVEHIST=100000 |
| 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 |
| edc8e3d0 | setopt hist_ignore_space |
| 42f873ca | setopt hist_reduce_blanks |
| 93f9825b | setopt SHARE_HISTORY setopt APPEND_HISTORY |