`d1b6423f2f0d5cf94a35e408441e2a59ff7a3f77`

Author: Robby Russell <robby@planetargon.com>
Committer: Robby Russell <robby@planetargon.com>
Date: 2011-12-15 05:59 UTC

Message

Merge pull request #732 from ggustafsson/patch-1

Removed duplicate setting and sorted the remaining

Diff

 1diff --git a/lib/history.zsh b/lib/history.zsh
 2index ca6f57079aef8e953154aa176159c8635e333228..876936b87888a60d1fc7ece2cdfa8dcdd6d9d8c8 100644
 3--- a/lib/history.zsh
 4+++ b/lib/history.zsh
 5@@ -3,14 +3,11 @@ HISTFILE=$HOME/.zsh_history
 6 HISTSIZE=10000
 7 SAVEHIST=10000
 8 
 9-setopt hist_ignore_dups # ignore duplication command history list
10-setopt share_history # share command history data
11-
12-setopt hist_verify
13-setopt inc_append_history
14+setopt append_history
15 setopt extended_history
16 setopt hist_expire_dups_first
17+setopt hist_ignore_dups # ignore duplication command history list
18 setopt hist_ignore_space
19-
20-setopt SHARE_HISTORY
21-setopt APPEND_HISTORY
22+setopt hist_verify
23+setopt inc_append_history
24+setopt share_history # share command history data