git.lirion.de

Of git, get, and gud

aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.bash/prompt.bash8
1 files changed, 0 insertions, 8 deletions
diff --git a/.bash/prompt.bash b/.bash/prompt.bash
index ed18cb1..c34e557 100644
--- a/.bash/prompt.bash
+++ b/.bash/prompt.bash
@@ -111,14 +111,6 @@ if ! printf "%b" "$PROMPT_COMMAND" | grep '__prompt_command' >/dev/null;then
;;
esac
fi
-# ----- ADD SSH ENV FILE TO PROMPT_COMMAND ----- #
-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"|tr -s ';'
- fi
-fi
# ----- HISTORY SUBMISSION IN $PROMPT_COMMAND ----- #
if ! printf "%b" "$PROMPT_COMMAND"|grep 'history -a' >/dev/null;then
if [ -n "$PROMPT_COMMAND" ];then