diff options
| author | Marc Cornellà <marc.cornella@live.com> | 2018-04-22 15:25:30 +0200 |
|---|---|---|
| committer | Marc Cornellà <marc.cornella@live.com> | 2018-04-22 15:33:11 +0200 |
| commit | 9f2f22d953acc62a2a0ba5f08a746e47be3a6d4e (patch) | |
| tree | bd2b44f2b98f870222900b7fe9451196db9be632 /lib/history.zsh | |
| parent | 20d63be655bfed2104858dc87052a310f9c45224 (diff) | |
| download | zsh-9f2f22d953acc62a2a0ba5f08a746e47be3a6d4e.tar.gz zsh-9f2f22d953acc62a2a0ba5f08a746e47be3a6d4e.tar.bz2 zsh-9f2f22d953acc62a2a0ba5f08a746e47be3a6d4e.zip | |
Remove duplicate option append_history
The option inc_append_history already has the same effect.
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 23e96c9db..8a1bc010d 100644 --- a/lib/history.zsh +++ b/lib/history.zsh @@ -32,7 +32,6 @@ HISTSIZE=10000 SAVEHIST=10000 ## History command configuration -setopt append_history # append history to HISTFILE on session exit setopt extended_history # record timestamp of command in HISTFILE setopt hist_expire_dups_first # delete duplicates first when HISTFILE size exceeds HISTSIZE setopt hist_ignore_dups # ignore duplicated commands history list |