From 303b2db0bd9ef38d7a7d9c7ccb14813d00775a0a Mon Sep 17 00:00:00 2001
From: Darren 'Tadgy' Austin <darren@afterdark.org.uk>
Date: Fri, 20 Oct 2023 20:30:22 +0100
Subject: [PATCH] Save history from this session before reloading it.

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

diff --git a/.bashrc b/.bashrc
index 4526b69..00bb621 100644
--- a/.bashrc
+++ b/.bashrc
@@ -427,6 +427,7 @@ HISTFILESIZE=1000000
 HISTIGNORE="bg:bg *:fg:fg *:jobs:exit:clear:history"
 HISTSIZE=1000000
 HISTTIMEFORMAT="%d/%m/%y %H:%M:%S  "
+history -a
 history -r
 
 # The commands to execute before the prompt is displayed.