From 64a81dbd39f785cb890a4a266f5c0f82da6d2723 Mon Sep 17 00:00:00 2001
From: Guillaume Dott <guillaume+github@dott.fr>
Date: Fri, 10 May 2019 08:48:30 +0200
Subject: [PATCH] zsh: append commands to histfile as soon as they are entered

---
 zsh/.zshrc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/zsh/.zshrc b/zsh/.zshrc
index c73f641..fad4299 100755
--- a/zsh/.zshrc
+++ b/zsh/.zshrc
@@ -57,7 +57,7 @@ zstyle ':vcs_info:hg*' formats " (%s.%b) "
 #----------------------------------------------#
 setopt hist_ignore_all_dups
 setopt hist_ignore_space
-setopt append_history
+setopt INC_APPEND_HISTORY
 setopt extended_history
 
 setopt complete_in_word