From da65cc93b892b12cba91fd98228463d32dbacfe7 Mon Sep 17 00:00:00 2001
From: fleaz <mail@felixbreidenstein.de>
Date: Fri, 3 Jun 2022 23:51:47 +0200
Subject: [PATCH] zsh: Don't share config

---
 home-manager/default.nix | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/home-manager/default.nix b/home-manager/default.nix
index 19ddfad..40da047 100644
--- a/home-manager/default.nix
+++ b/home-manager/default.nix
@@ -137,7 +137,10 @@ in
         plugins = [ "git" "fzf" ];
         theme = "robbyrussell";
       };
-      history.size = 10000;
+      history = {
+        share = false; # every terminal has it's own history
+        size = 10000;
+      };
     };
 
     programs.git = {