From 056991e234681ede7814ac8ec3654393fcede0b0 Mon Sep 17 00:00:00 2001
From: Harald Pfeiffer <coding@lirion.de>
Date: Mon, 21 Mar 2022 09:02:02 +0100
Subject: intermed: squeeze double ; after sourcing sshenv

---
 .bash/prompt.bash | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 ----- #
-- 
cgit v1.2.3