diff options
author | Göran Gustafsson <gustafsson.g@gmail.com> | 2011-12-03 13:18:37 +0100 |
---|---|---|
committer | Göran Gustafsson <gustafsson.g@gmail.com> | 2011-12-03 13:18:37 +0100 |
commit | 3fc812afc9af75e49a8f99bad3ada41672547503 (patch) | |
tree | 1c20ab4ab58a74f9045552153711f709153b4be2 /lib/history.zsh | |
parent | 757fa3314d1c041ab715dbda838f3e9b2ff9ce17 (diff) | |
download | zsh-3fc812afc9af75e49a8f99bad3ada41672547503.tar.gz zsh-3fc812afc9af75e49a8f99bad3ada41672547503.tar.bz2 zsh-3fc812afc9af75e49a8f99bad3ada41672547503.zip |
Removed duplicate setting and sorted the remaining
Diffstat (limited to 'lib/history.zsh')
-rw-r--r-- | lib/history.zsh | 13 |
1 files changed, 5 insertions, 8 deletions
diff --git a/lib/history.zsh b/lib/history.zsh index ca6f57079..876936b87 100644 --- a/lib/history.zsh +++ b/lib/history.zsh @@ -3,14 +3,11 @@ 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 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 |