diff options
Diffstat (limited to 'zsh')
| -rw-r--r-- | zsh/history.zsh | 16 |
1 files changed, 4 insertions, 12 deletions
diff --git a/zsh/history.zsh b/zsh/history.zsh index 0619fbe..4f46d2f 100644 --- a/zsh/history.zsh +++ b/zsh/history.zsh @@ -1,18 +1,10 @@ -#TODO: optimize these rules. they are redundant +#done ## Command history configuration HISTFILE=$HOME/.zsh_history 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 extended_history -setopt hist_expire_dups_first -setopt hist_ignore_space - -setopt SHARE_HISTORY -setopt APPEND_HISTORY +setopt hist_ignore_all_dups # ignore dups including non-sequential ones +setopt share_history # share command history data between sessions +setopt hist_verify # load hist into command buffer rather than exec immediately |