From 9f2377a8b309241ba9c5b74183914ea35f9e5d2e Mon Sep 17 00:00:00 2001
From: Marc Vertes <mvertes@free.fr>
Date: Sun, 5 Jan 2020 15:00:32 +0100
Subject: prompt: display host in ssh session

---
 .bash-powerline.sh | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to '.bash-powerline.sh')

diff --git a/.bash-powerline.sh b/.bash-powerline.sh
index 65bdf38..59843ce 100644
--- a/.bash-powerline.sh
+++ b/.bash-powerline.sh
@@ -84,7 +84,10 @@ __powerline() {
             local git="$COLOR_GIT$(__git_info)$RESET"
         fi
 
-        PS1="$cwd$git$symbol"
+	PS1="$cwd$git$symbol"
+
+	# Display hostname in prompt if in a remote shell
+	[ "$SSH_TTY" ] && PS1="\\h:$PS1"
     }
 
     PROMPT_COMMAND="ps1${PROMPT_COMMAND:+; $PROMPT_COMMAND}"
-- 
cgit v1.2.3