From d6bc329c85a04c5dca3df001c72b9d279e3a0287 Mon Sep 17 00:00:00 2001
From: Andreas Tsouchlos <an.tsouchlos@gmail.com>
Date: Sat, 4 May 2024 20:30:34 +0200
Subject: [PATCH] Increase zsh history size

---
 zsh/.zshrc | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/zsh/.zshrc b/zsh/.zshrc
index 2ad850e..7938923 100644
--- a/zsh/.zshrc
+++ b/zsh/.zshrc
@@ -1,7 +1,8 @@
 # Lines configured by zsh-newuser-install
 HISTFILE=~/.histfile
-HISTSIZE=1000
-SAVEHIST=1000
+HISTSIZE=5000
+SAVEHIST=5000
+setopt hist_ignore_all_dups
 setopt extendedglob
 unsetopt beep
 bindkey -v