Merge 0a2d683929 into cff343cf9e

2024-01-06 15:13:20 +08:00 · 2024-01-06 15:13:20 +08:00 · 5857f731df
parent cff343cf9e 0a2d683929
commit 5857f731df
1 changed files with 9 additions and 1 deletions
--- 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
+
 ```