From e2dd4852fbee0fd13b4c20197acefee175f1cdc9 Mon Sep 17 00:00:00 2001
From: Oleg Broytman <phd@phdru.name>
Date: Sat, 8 Oct 2022 13:20:45 +0300
Subject: [PATCH] .bashrc: `unset HISTFILE` if it was unset before

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

diff --git a/.bashrc b/.bashrc
index f1614c8..14eeaec 100644
--- a/.bashrc
+++ b/.bashrc
@@ -25,6 +25,12 @@ esac
 
 . "$HOME"/.shellrc
 
+if [ "$HISTFILE" = "$HOME/.bash_history" ]; then
+    # This is the default value set by interactive bash
+    # when the global value was unset. Unset it here too.
+    unset HISTFILE
+fi
+
 # append to the history file, don't overwrite it
 shopt -s histappend
 
-- 
2.39.5