enhancement to bash history

synle · Nov 16, 2023 · 35fde55 · 35fde55
1 parent 6ccb8d4
commit 35fde55
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/bash-profile-barebone.sh b/bash-profile-barebone.sh
@@ -6,6 +6,15 @@ export BASH_PATH=~/.bashrc
 # add sbin to path
 export PATH=$PATH:/sbin
 
+# increase history size
+export HISTSIZE=5000
+export HISTFILESIZE=10000
+export HISTTIMEFORMAT="[%F %T] "
+# https://unix.stackexchange.com/questions/18212/bash-history-ignoredups-and-erasedups-setting-conflict-with-common-history
+HISTCONTROL=ignoredups:erasedups
+shopt -s histappend
+PROMPT_COMMAND="history -n; history -w; history -c; history -r; $PROMPT_COMMAND"
+
 # os flags
 export is_os_darwin_mac=0 && [ -d /Applications ] && export is_os_darwin_mac=1
 export is_os_window=0 && [ -d /mnt/c/Users ] && export is_os_window=1