From 0a2d6839296c8d93759c512bc1a6fb15deed8e86 Mon Sep 17 00:00:00 2001 From: "miles.zhaof" Date: Sat, 6 Jan 2024 15:00:25 +0800 Subject: [PATCH] Update restoring_bash_history.md --- docs/restoring_bash_history.md | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/docs/restoring_bash_history.md b/docs/restoring_bash_history.md index 2b6af17a..b3795a72 100644 --- a/docs/restoring_bash_history.md +++ b/docs/restoring_bash_history.md @@ -35,5 +35,13 @@ else fi # Stash the new history each time a command runs. -export PROMPT_COMMAND="$PROMPT_COMMAND;history -a" +#export PROMPT_COMMAND="$PROMPT_COMMAND;history -a" +if [[ -n "$PROMPT_COMMAND" ]] +then + PROMPT_COMMAND=`echo $PROMPT_COMMAND|sed -e 's/;\s*$//g'` + export PROMPT_COMMAND="$PROMPT_COMMAND;history -a;" +else + export PROMPT_COMMAND="history -a;" +fi + ```