113 reputation
15
bio website
location
age
visits member for 2 years, 9 months
seen Apr 16 at 6:22

coding is boring.


May
22
awarded  Notable Question
Jun
7
awarded  Popular Question
Aug
19
comment Fix terminal title after SSH remote logging to another machine
Thanks, that is useful.
Jun
15
comment Fix terminal title after SSH remote logging to another machine
basically i just wrote a simple script to grab the current title and save it before SSH session, then recover the title afterwards.
Jun
15
awarded  Supporter
Jun
15
awarded  Scholar
Jun
15
accepted Fix terminal title after SSH remote logging to another machine
Jun
15
awarded  Editor
Jun
15
revised Fix terminal title after SSH remote logging to another machine
added 209 characters in body
Jun
15
comment Fix terminal title after SSH remote logging to another machine
but I also want the freedom to rename whatever terminal I want, rather than having every single session the same name. In practice, I basically edit the terminal title manual and hope that terminal to stay having fixed title even after SSH login/logout. Does it make sense?
Jun
15
comment Fix terminal title after SSH remote logging to another machine
1. prompt_command has nothing to do the title of your terminal window, right? I have prompt_command set up but only for the prompt. 2. I still need a mechanism to remember and activate my local setting after exiting the ssh logging.
Jun
15
awarded  Student
Jun
15
asked Fix terminal title after SSH remote logging to another machine