Skip to main content
9 events
when toggle format what by license comment
Jul 18, 2017 at 6:10 comment added nitin This works for me. I am using terminator.
Apr 16, 2017 at 18:52 comment added claymation If you use this terminal escape sequence to set a null title (e.g., export PROMPT_COMMAND="printf '\e]0;\7\n'"), then your terminal emulator can set the window title as it sees fit. When you ssh to a remote host that sets the terminal title, your terminal emulator will show that title, and when you logout, it will revert to using its own title. At least, that's how the macOS Terminal app works.
Jun 15, 2012 at 6:08 comment added Ignacio Vazquez-Abrams So then put the desired title in a variable, and output that.
Jun 15, 2012 at 5:23 comment added nye17 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?
S Jun 15, 2012 at 5:18 history suggested Kuba hasn't forgotten Monica CC BY-SA 3.0
add an example
Jun 15, 2012 at 4:07 review Suggested edits
S Jun 15, 2012 at 5:18
Jun 15, 2012 at 4:03 comment added Kuba hasn't forgotten Monica The prompt command simply emits the necessary escape sequence for your terminal to rename its title bar. :)
Jun 15, 2012 at 4:02 comment added nye17 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, 2012 at 2:43 history answered Ignacio Vazquez-Abrams CC BY-SA 3.0