Browse Source

`setopt append_history` is not necessary.

Especially given the inc_append_history option, it is not necessary to
set the (default) append_history option.
Daniel Hahler 13 years ago
parent
commit
b578eea273
1 changed files with 0 additions and 1 deletions
  1. 0 1
      lib/history.zsh

+ 0 - 1
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