git.lirion.de

Of git, get, and gud

aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHarald Pfeiffer <coding _ lirion.de> 2022-03-21 09:25:52 +0100
committerHarald Pfeiffer <coding _ lirion.de> 2022-03-21 09:25:52 +0100
commit0fd439814ab5c0d6d3812b838f8f0db945f331bd (patch)
tree99fc5b52f3822d7c2a1c77db31ed2dd9863ffea9
parent056991e234681ede7814ac8ec3654393fcede0b0 (diff)
downloaddotfiles-0fd439814ab5c0d6d3812b838f8f0db945f331bd.tar.bz2
Doesn't work
-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