chiark / gitweb /
dot/shell-rc: Put the hostname qualifiers in the terminal title.
authorMark Wooding <mdw@distorted.org.uk>
Sat, 9 May 2020 23:47:27 +0000 (00:47 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sat, 9 May 2020 23:47:27 +0000 (00:47 +0100)
commit123a656c86161153762945b907d2213bab400617
tree53018e628890b9eb87d52a850aa2c733d8093dbb
parent1e8b505fee84d2952bd24f7a04b1cd8ed1300ee2
dot/shell-rc: Put the hostname qualifiers in the terminal title.
dot/shell-rc