From cb201df3d2808a03b606221759ca502139facaa3 Mon Sep 17 00:00:00 2001
From: Fernando Schauenburg <dev@schauenburg.me>
Date: Wed, 13 Dec 2023 15:32:14 +0100
Subject: [PATCH] zsh: save history immediately

---
 config/zsh/history.zsh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/config/zsh/history.zsh b/config/zsh/history.zsh
index 14fa08d..612d88f 100644
--- a/config/zsh/history.zsh
+++ b/config/zsh/history.zsh
@@ -1,3 +1,7 @@
+setopt APPEND_HISTORY     # Append history rather than overwrite.
+setopt EXTENDED_HISTORY   # Save beginning timestamp and duration.
+setopt INC_APPEND_HISTORY # Don't wait until shell exits to save history.
+
 HISTFILE="${XDG_DATA_HOME:-$HOME/.local/share}/zsh/history"
 HISTSIZE=1000000
 SAVEHIST=1000000