dot/shell-rc: Put the hostname qualifiers in the terminal title.

diff --git a/dot/shell-rc b/dot/shell-rc
index d6a218a18cf5e997e7888989102365b564d6926f..3c168b0b017b66ab51294165ce7b1b1ef0d1e2a5 100644 (file)
--- a/dot/shell-rc
+++ b/dot/shell-rc
@@ -148,7 +148,7 @@ __mdw_set_prompt () {
 __mdw_xterm_settitle () {
   printf >/dev/tty \
     "\e]2;%s@%s:%s – %s\e\\" \
-    "$USER" "$__mdw_host" "$PWD" \
+    "$USER" "$__mdw_host$__mdw_hqual" "$PWD" \
     "$1"
 }
 __mdw_xterm_precmd () { __mdw_xterm_settitle "$__mdw_shell"; }