diff options
| author | mail_redacted_for_web | 2022-03-21 09:02:02 +0100 |
|---|---|---|
| committer | mail_redacted_for_web | 2022-03-21 09:02:02 +0100 |
| commit | 056991e234681ede7814ac8ec3654393fcede0b0 (patch) | |
| tree | 4364f05a76b9b3731ba106b3a6233a0d9b8bb57e | |
| parent | 54f779ff55bf85181a9f225f5f247ecd333a6123 (diff) | |
| download | dotfiles-056991e234681ede7814ac8ec3654393fcede0b0.tar.bz2 | |
intermed: squeeze double ; after sourcing sshenv
| -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 ----- # |