From e2546bd958cb37beece360e3c9bd303ce5df92eb Mon Sep 17 00:00:00 2001
From: Bruno BELANYI <bruno@belanyi.fr>
Date: Wed, 25 Aug 2021 12:44:42 +0200
Subject: [PATCH] home: zsh: append to history

Otherwise the file is replaced rather than appended to.
---
 home/zsh/options.zsh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/home/zsh/options.zsh b/home/zsh/options.zsh
index b02ca54..6187f46 100644
--- a/home/zsh/options.zsh
+++ b/home/zsh/options.zsh
@@ -8,5 +8,7 @@ setopt autopushd pushdminus pushdsilent
 setopt rcquotes
 # Single word commands can resume an existing job
 setopt autoresume
+# Append commands to history as they are exectuted
+setopt inc_append_history_time
 # Those options aren't wanted
 unsetopt beep extendedglob notify