diff options
| author | Marc Vertes <mvertes@free.fr> | 2020-01-05 15:05:13 +0100 |
|---|---|---|
| committer | Marc Vertes <mvertes@free.fr> | 2020-01-05 15:05:13 +0100 |
| commit | c0db7ba6989623aae2b9a2c2f927808282df8fbe (patch) | |
| tree | 21aea76e82d63ffac4ccd6b1c9a77fc522769487 /.bash-powerline.sh | |
| parent | 9f2377a8b309241ba9c5b74183914ea35f9e5d2e (diff) | |
fix prompt
Diffstat (limited to '.bash-powerline.sh')
| -rw-r--r-- | .bash-powerline.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/.bash-powerline.sh b/.bash-powerline.sh index 59843ce..e635b11 100644 --- a/.bash-powerline.sh +++ b/.bash-powerline.sh @@ -85,9 +85,9 @@ __powerline() { fi PS1="$cwd$git$symbol" - - # Display hostname in prompt if in a remote shell - [ "$SSH_TTY" ] && PS1="\\h:$PS1" + if [ "$SSH_TTY" ]; then + PS1="\\h:$PS1" + fi } PROMPT_COMMAND="ps1${PROMPT_COMMAND:+; $PROMPT_COMMAND}" |