diff options
-rw-r--r-- | .bash/prompt.bash | 8 |
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 |