From 49fe3cf4134e5e39704c522b7d8d78d032ab4fb9 Mon Sep 17 00:00:00 2001
From: DarkWiiPlayer <darkwiiplayer@hotmail.com>
Date: Fri, 26 Feb 2021 08:23:22 +0100
Subject: [PATCH] Tweak zsh history options

---
 zshrc | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/zshrc b/zshrc
index 3820d13..20832d8 100644
--- a/zshrc
+++ b/zshrc
@@ -1,10 +1,13 @@
-export SAVEHIST=10
 export HISTFILE=$HOME/.zsh_history
+export SAVEHIST=10000
 export HISTFILESIZE=10000
 export HSITSIZE=10000
 
 bindkey -v
 
+setopt append_history
+setopt hist_find_no_dups
+# setopt hist_ignore_dups
 setopt inc_append_history
 setopt extended_history
 setopt hist_find_no_dups