123456789101112131415161718 |
- ## Command history configuration
- if [ -z "$HISTFILE" ]; then
- HISTFILE=$HOME/.zsh_history
- fi
- if [ -z "$HISTSIZE" ]; then
- HISTSIZE=10000
- fi
- if [ -z "$SAVEHIST" ]; then
- SAVEHIST=10000
- fi
- setopt extended_history
- setopt hist_expire_dups_first
- setopt hist_ignore_dups # ignore duplication command history list
- setopt hist_ignore_space
- setopt hist_verify
- setopt inc_append_history
- setopt share_history # share command history data
|