diff options
| author | mail_redacted_for_web | 2022-03-21 09:25:52 +0100 |
|---|---|---|
| committer | mail_redacted_for_web | 2022-03-21 09:25:52 +0100 |
| commit | 0fd439814ab5c0d6d3812b838f8f0db945f331bd (patch) | |
| tree | 99fc5b52f3822d7c2a1c77db31ed2dd9863ffea9 /.bash/prompt.bash | |
| parent | 056991e234681ede7814ac8ec3654393fcede0b0 (diff) | |
| download | dotfiles-0fd439814ab5c0d6d3812b838f8f0db945f331bd.tar.bz2 | |
Doesn't work
Diffstat (limited to '.bash/prompt.bash')
| -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 |