98578ec2412d5b5d2e105f3ddd0d41eb21c3de14Author Daniel Hahler <git@thequod.de> Committer Daniel Hahler <git@thequod.de> Date 2011-12-16 13:21 UTC Message `setopt append_history` is not necessary.
Especially given the inc_append_history option, it is not necessary to
set the (default) append_history option.
Diff 1 diff --git a/lib/history.zsh b/lib/history.zsh
2 index 876936b87888a60d1fc7ece2cdfa8dcdd6d9d8c8..b162a5577032aaa737725c6b63197215efacf69a 100644
3 --- a/lib/history.zsh
4 +++ b/lib/history.zsh
5 @@ -3,7 +3,6 @@ HISTFILE=$HOME/.zsh_history
6 HISTSIZE=10000
7 SAVEHIST=10000
8
9 -setopt append_history
10 setopt extended_history
11 setopt hist_expire_dups_first
12 setopt hist_ignore_dups # ignore duplication command history list