From fcd0747bc123d2c0775f8d757f0135067905ac0d Mon Sep 17 00:00:00 2001
From: Benoit GALATI <benoit.galati@gmail.com>
Date: Thu, 21 May 2020 18:29:00 +0200
Subject: [PATCH] core: remove inc_append_history option (#8048)

---
 lib/history.zsh | 1 -
 1 file changed, 1 deletion(-)

diff --git a/lib/history.zsh b/lib/history.zsh
index 52e45bf4c..0f04de215 100644
--- a/lib/history.zsh
+++ b/lib/history.zsh
@@ -36,5 +36,4 @@ setopt hist_expire_dups_first # delete duplicates first when HISTFILE size excee
 setopt hist_ignore_dups       # ignore duplicated commands history list
 setopt hist_ignore_space      # ignore commands that start with space
 setopt hist_verify            # show command with history expansion to user before running it
-setopt inc_append_history     # add commands to HISTFILE in order of execution
 setopt share_history          # share command history data