From 4ba5a7b2f37e61f94c481e0abb52e150160abc62 Mon Sep 17 00:00:00 2001
From: Sans Guidon <morgan@zoemp.be>
Date: Thu, 1 Feb 2024 12:16:51 +0100
Subject: [PATCH] bat sucks

---
 sync-history.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sync-history.sh b/sync-history.sh
index 3b1ad62..5d8531c 100755
--- a/sync-history.sh
+++ b/sync-history.sh
@@ -38,7 +38,7 @@ fi
 # merge session history into main history file on bash exit
 merge_session_history () {
   if [ -e ${HISTFILE}.$$ ]; then
-    cat ${HISTFILE}.$$ >> $HISTFILE
+    \cat ${HISTFILE}.$$ >> $HISTFILE
     \rm ${HISTFILE}.$$
   fi
 }