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 }