bat sucks

This commit is contained in:
SansGuidon 2024-02-01 12:16:51 +01:00
parent 52b04aca9c
commit 4ba5a7b2f3

View File

@ -38,7 +38,7 @@ fi
# merge session history into main history file on bash exit # merge session history into main history file on bash exit
merge_session_history () { merge_session_history () {
if [ -e ${HISTFILE}.$$ ]; then if [ -e ${HISTFILE}.$$ ]; then
cat ${HISTFILE}.$$ >> $HISTFILE \cat ${HISTFILE}.$$ >> $HISTFILE
\rm ${HISTFILE}.$$ \rm ${HISTFILE}.$$
fi fi
} }