diff options
| author | Daniel Hahler <git@thequod.de> | 2011-12-16 14:21:45 +0100 |
|---|---|---|
| committer | Daniel Hahler <git@thequod.de> | 2011-12-16 14:21:45 +0100 |
| commit | 98578ec2412d5b5d2e105f3ddd0d41eb21c3de14 (patch) | |
| tree | 3c48e9f98fec841304148fed3728b62fa94fcdb0 /lib/history.zsh | |
| parent | c133f41833ba1ce6a3868a644ad29caa17bfa75a (diff) | |
| download | zsh-98578ec2412d5b5d2e105f3ddd0d41eb21c3de14.tar.gz zsh-98578ec2412d5b5d2e105f3ddd0d41eb21c3de14.tar.bz2 zsh-98578ec2412d5b5d2e105f3ddd0d41eb21c3de14.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/history.zsh')
| -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 876936b87..b162a5577 100644 --- a/lib/history.zsh +++ b/lib/history.zsh @@ -3,7 +3,6 @@ HISTFILE=$HOME/.zsh_history HISTSIZE=10000 SAVEHIST=10000 -setopt append_history setopt extended_history setopt hist_expire_dups_first setopt hist_ignore_dups # ignore duplication command history list |