diff options
| author | Robby Russell <robby@planetargon.com> | 2011-12-14 21:59:37 -0800 |
|---|---|---|
| committer | Robby Russell <robby@planetargon.com> | 2011-12-14 21:59:37 -0800 |
| commit | d1b6423f2f0d5cf94a35e408441e2a59ff7a3f77 (patch) | |
| tree | 01eda2cc2c0bb41e823a54032cbfa9526727cd2e | |
| parent | e25147a3af42503f2ed1c4199f4541314a9e8d34 (diff) | |
| parent | 3fc812afc9af75e49a8f99bad3ada41672547503 (diff) | |
| download | zsh-d1b6423f2f0d5cf94a35e408441e2a59ff7a3f77.tar.gz zsh-d1b6423f2f0d5cf94a35e408441e2a59ff7a3f77.tar.bz2 zsh-d1b6423f2f0d5cf94a35e408441e2a59ff7a3f77.zip | |
Merge pull request #732 from ggustafsson/patch-1
Removed duplicate setting and sorted the remaining
| -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 |