diff options
| -rw-r--r-- | .bash/prompt.bash | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.bash/prompt.bash b/.bash/prompt.bash index a78f2ed..ed18cb1 100644 --- a/.bash/prompt.bash +++ b/.bash/prompt.bash @@ -116,7 +116,7 @@ if [ -r "$SSHENVFILE" ];then if ! printf "%b" "$PROMPT_COMMAND" | grep "source $SSHENVFILE" >/dev/null;then # we don't need to check whether PROMPT_COMMAND is set as after the paragraph # above, something will be definitely set. - PROMPT_COMMAND="${PROMPT_COMMAND};source $SSHENVFILE" + PROMPT_COMMAND="${PROMPT_COMMAND};source $SSHENVFILE"|tr -s ';' fi fi # ----- HISTORY SUBMISSION IN $PROMPT_COMMAND ----- # |