Do iclude host identification on remote session

dotfiles/bash/post.bashrc

@@ -55,7 +55,9 @@ export PS2=$(make_ps2)
 
 case "$TERM" in
 xterm*|rxvt*|screen*)
-    PROMPT_COMMAND='__save_rv $?; echo -ne "\033]0;$(__make_ps1d)${PWD/$HOME/\~}\$\007"'
+    test -n "$SSH_CONNECTION" \
+     && __host_id="${HOSTNAME%%.*}:"      # i.e. a remote session
+    PROMPT_COMMAND='__save_rv $?; echo -ne "\033]0;$(__make_ps1d)$__host_id${PWD/$HOME/\~}\$\007"'
 
     # Show the currently running command in the terminal title:
     # http://www.davidpashley.com/articles/xterm-titles-with-bash.html
@@ -71,9 +73,9 @@ xterm*|rxvt*|screen*)
             *)
                 if test -n "${BASH_COMMAND}";
                 then
-                    echo -ne "\033]0;${BASH_COMMAND} (${PWD/$HOME/\~})\007"
+                    echo -ne "\033]0;${BASH_COMMAND} ($__host_id${PWD/$HOME/\~})\007"
                 else
-                    echo -ne "\033]0;$(__make_ps1d)${PWD/$HOME/\~}\$\007"
+                    echo -ne "\033]0;$(__make_ps1d)$__host_id${PWD/$HOME/\~}\$\007"
                 fi
                 ;;
         esac