From 55c8b1e2617b10458a50ff5148c4830338e12728 Mon Sep 17 00:00:00 2001
From: Oleg Broytman <phd@phdru.name>
Date: Tue, 6 Dec 2022 19:05:25 +0300
Subject: [PATCH] .bashrc: Read history

---
 .bashrc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.bashrc b/.bashrc
index b69df3f..2d94622 100644
--- a/.bashrc
+++ b/.bashrc
@@ -26,6 +26,7 @@ esac
 . "$HOME"/.shellrc
 
 if [ "$HISTFILE" = "$HOME/.bash_history" ]; then
+    history -r
     # This is the default value set by interactive bash
     # when the global value was unset. Unset it here too.
     unset HISTFILE
-- 
2.39.2