From: Mark Wooding <mdw@distorted.org.uk>
Date: Sat, 9 May 2020 23:47:27 +0000 (+0100)
Subject: dot/shell-rc: Put the hostname qualifiers in the terminal title.
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/profile/commitdiff_plain/123a656c86161153762945b907d2213bab400617?ds=inline

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

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