From 9f2f22d953acc62a2a0ba5f08a746e47be3a6d4e Mon Sep 17 00:00:00 2001
From: Marc Cornellà <marc.cornella@live.com>
Date: Sun, 22 Apr 2018 15:25:30 +0200
Subject: Remove duplicate option append_history

The option inc_append_history already has the same effect.
---
 lib/history.zsh | 1 -
 1 file changed, 1 deletion(-)

(limited to 'lib/history.zsh')

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
-- 
cgit v1.2.3-70-g09d2