Remove duplicate option append_history

The option inc_append_history already has the same effect.
This commit is contained in:
Marc Cornellà 2018-04-22 15:25:30 +02:00
parent 20d63be655
commit 9f2f22d953

View File

@ -32,7 +32,6 @@ HISTSIZE=10000
SAVEHIST=10000 SAVEHIST=10000
## History command configuration ## History command configuration
setopt append_history # append history to HISTFILE on session exit
setopt extended_history # record timestamp of command in HISTFILE setopt extended_history # record timestamp of command in HISTFILE
setopt hist_expire_dups_first # delete duplicates first when HISTFILE size exceeds HISTSIZE setopt hist_expire_dups_first # delete duplicates first when HISTFILE size exceeds HISTSIZE
setopt hist_ignore_dups # ignore duplicated commands history list setopt hist_ignore_dups # ignore duplicated commands history list