From 0fd439814ab5c0d6d3812b838f8f0db945f331bd Mon Sep 17 00:00:00 2001 From: Harald Pfeiffer Date: Mon, 21 Mar 2022 09:25:52 +0100 Subject: Doesn't work --- .bash/prompt.bash | 8 -------- 1 file changed, 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 -- cgit v1.2.3