Merge pull request #732 from ggustafsson/patch-1

Removed duplicate setting and sorted the remaining
15 years ago · d1b6423f2f
parent e25147a3af 3fc812afc9
commit d1b6423f2f
1 changed files with 5 additions and 8 deletions
--- 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