git.lirion.de

Of git, get, and gud

aboutsummaryrefslogtreecommitdiffstats
path: root/.bash
diff options
context:
space:
mode:
Diffstat (limited to '.bash')
-rw-r--r--.bash/prompt.bash2
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 ----- #