From f363d28c416ffd4543de938c25c03d728881ef44 Mon Sep 17 00:00:00 2001
From: "Glenn Y. Rolland" <glenux@glenux.net>
Date: Fri, 31 Dec 2021 13:00:36 +0100
Subject: [PATCH] Do not share history between sessions

---
 files/bashrc.d/90-shell-history.sh | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/files/bashrc.d/90-shell-history.sh b/files/bashrc.d/90-shell-history.sh
index 080813b..e581f67 100644
--- a/files/bashrc.d/90-shell-history.sh
+++ b/files/bashrc.d/90-shell-history.sh
@@ -1,3 +1,10 @@
 
+export HISTSIZE=10000
+export HISTFILESIZE=10000
+
 # don't put duplicate lines in the history. See bash(1) for more options
-export HISTCONTROL=ignoredups
+export HISTCONTROL=ignoredups:erasedups
+shopt -s histappend
+# Reload history on each command
+#PROMPT_COMMAND="history -n; history -w; history -c; history -r; $PROMPT_COMMAND"
+