From ff66361f658f3af589c90925d9459b48d9696c95 Mon Sep 17 00:00:00 2001
From: Bruno BELANYI <bruno@belanyi.fr>
Date: Wed, 8 Mar 2023 13:40:55 +0000
Subject: [PATCH] home: zsh: use extended history

I have `inc_append_history_time` set, so I should use extended
history...
---
 home/zsh/default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/home/zsh/default.nix b/home/zsh/default.nix
index 84eb7a3..60798cf 100644
--- a/home/zsh/default.nix
+++ b/home/zsh/default.nix
@@ -22,7 +22,7 @@ in
       history = {
         size = 500000;
         save = 500000;
-        extended = false;
+        extended = true;
         ignoreSpace = true;
         ignoreDups = true;
         share = false;