b578eea2739e707d5ecfb79f5b072876264d8f1cAuthor Daniel Hahler <git@thequod.de> Committer Phil Eichinger <phil@zankapfel.net> Date 2014-03-25 15:47 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 655945166715d17f3e6084b4fab9af8911605bd3..1d83e56e3a63391133304d3f92596fab97fa1d55 100644
3 --- a/lib/history.zsh
4 +++ b/lib/history.zsh
5 @@ -5,7 +5,6 @@ fi
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