`9f2f22d953acc62a2a0ba5f08a746e47be3a6d4e`

Author: Marc Cornellà <marc.cornella@live.com>
Committer: Marc Cornellà <marc.cornella@live.com>
Date: 2018-04-22 13:33 UTC

Message

Remove duplicate option append_history

The option inc_append_history already has the same effect.

Diff

 1diff --git a/lib/history.zsh b/lib/history.zsh
 2index 23e96c9dbba2be36f5e789628fd8e62bc539d695..8a1bc010dfd96cb4f26d458aaf06668fd2cc8bf2 100644
 3--- a/lib/history.zsh
 4+++ b/lib/history.zsh
 5@@ -32,7 +32,6 @@ HISTSIZE=10000
 6 SAVEHIST=10000
 7 
 8 ## History command configuration
 9-setopt append_history         # append history to HISTFILE on session exit
10 setopt extended_history       # record timestamp of command in HISTFILE
11 setopt hist_expire_dups_first # delete duplicates first when HISTFILE size exceeds HISTSIZE
12 setopt hist_ignore_dups       # ignore duplicated commands history list