diff options
| author | Daniel Hahler <git@thequod.de> | 2011-12-16 14:21:45 +0100 |
|---|---|---|
| committer | Phil Eichinger <phil@zankapfel.net> | 2014-03-25 16:47:57 +0100 |
| commit | b578eea2739e707d5ecfb79f5b072876264d8f1c (patch) | |
| tree | ad7f7e23434b9673b44331a763f62cb13f3dd942 /lib | |
| parent | d41c588d1b2880b634babdb89b49e5b7e98ee2dc (diff) | |
| download | zsh-b578eea2739e707d5ecfb79f5b072876264d8f1c.tar.gz zsh-b578eea2739e707d5ecfb79f5b072876264d8f1c.tar.bz2 zsh-b578eea2739e707d5ecfb79f5b072876264d8f1c.zip | |
`setopt append_history` is not necessary.
Especially given the inc_append_history option, it is not necessary to
set the (default) append_history option.
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/history.zsh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/lib/history.zsh b/lib/history.zsh index 655945166..1d83e56e3 100644 --- a/lib/history.zsh +++ b/lib/history.zsh @@ -5,7 +5,6 @@ fi HISTSIZE=10000 SAVEHIST=10000 -setopt append_history setopt extended_history setopt hist_expire_dups_first setopt hist_ignore_dups # ignore duplication command history list |