network profile
| bio | website | |
|---|---|---|
| location | ||
| age | ||
| visits | member for | 1 year, 7 months |
| seen | May 6 at 4:57 | |
| stats | profile views | 3 |
coding is boring.
|
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 |
