diff options
Diffstat (limited to 'lib/history.zsh')
| -rw-r--r-- | lib/history.zsh | 17 |
1 files changed, 8 insertions, 9 deletions
diff --git a/lib/history.zsh b/lib/history.zsh index ca6f57079..655945166 100644 --- a/lib/history.zsh +++ b/lib/history.zsh @@ -1,16 +1,15 @@ ## Command history configuration -HISTFILE=$HOME/.zsh_history +if [ -z $HISTFILE ]; then + HISTFILE=$HOME/.zsh_history +fi HISTSIZE=10000 SAVEHIST=10000 -setopt hist_ignore_dups # ignore duplication command history list -setopt share_history # share command history data - -setopt hist_verify -setopt inc_append_history +setopt append_history setopt extended_history setopt hist_expire_dups_first +setopt hist_ignore_dups # ignore duplication command history list setopt hist_ignore_space - -setopt SHARE_HISTORY -setopt APPEND_HISTORY +setopt hist_verify +setopt inc_append_history +setopt share_history # share command history data |