From d20283c8f726a52b91e71582653fa46a80fdbd11 Mon Sep 17 00:00:00 2001
From: Hektor Misplon <hektor.misplon@pm.me>
Date: Sat, 11 Jan 2025 15:48:24 +0100
Subject: [PATCH] Improve '.bash_history' config

---
 .bashrc | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.bashrc b/.bashrc
index 578c92c..0609152 100644
--- a/.bashrc
+++ b/.bashrc
@@ -36,10 +36,10 @@ export PATH=~/.bin:$PATH
 # }}}
 
 # History {{{
+export HISTSIZE=999999
+export HISTFILESIZE= # Unlimited
 export HISTCONTROL=ignoreboth:erasedups
-export HISTSIZE=500000
-# Omit `clear, ls...`; commands prepended with space
-export HISTIGNORE="clear:l: *"
+export HISTIGNORE=" *:clear:l:ls:cd" # Omit commands from history (e.g. those prepended with space)
 # }}}
 
 # Man pages {{{