From bcf6916f180793e56046ce48dc58e9c91d7723d8 Mon Sep 17 00:00:00 2001
From: "Antonio J. Delgado" <ad@susurrando.com>
Date: Mon, 18 Oct 2021 13:32:49 +0300
Subject: [PATCH] dont' share bash history between shells

---
 bash_rc | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/bash_rc b/bash_rc
index d4e45b7..70a180d 100755
--- a/bash_rc
+++ b/bash_rc
@@ -31,8 +31,10 @@ source "${HOME}/.bashrc_ps1"
 
 # Format history records
 export HISTTIMEFORMAT="[%s] "
-# Append to history file and share between shells
-PROMPT_COMMAND="history -a; history -c; history -r; $PROMPT_COMMAND"
+# Append to history file
+#PROMPT_COMMAND="history -a; $PROMPT_COMMAND"
+# Share between shells
+PROMPT_COMMAND="history -c; history -r; $PROMPT_COMMAND"
 # Don't overwrite it history
 shopt -s histappend
 # Unlimited history