Terminal tab title set via 'Terminal->Set title' not persistent
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
GNOME Terminal |
Invalid
|
Medium
|
|||
gnome-terminal (Ubuntu) |
Fix Released
|
Medium
|
Sebastien Bacher |
Bug Description
When setting the title of a terminal via the 'Terminal->Set title' menu entry, I
expect the title to be persistent.
Observed behaviour:
- Set the tab title via the 'Terminal->Set title' menu item.
- Tab title changes to what was entered
- Hit 'enter' in the shell in the tab
- Tab title changes back to 'user@hostname: /path'
Expected behaviour:
- Set the tab title via the 'Terminal->Set title' menu item.
- Tab title changes to what was entered
- Regardless of what I now do, other than changing the terminal title via the
menu item, the terminal tab title should be the same as I initially entered.
Workaround:
In the shell within the terminal tab do:
unset PROMPT_COMMAND
then re-enter the title via the 'Terminal->Set title' menu item.
http://
Changed in gnome-terminal: | |
importance: | Unknown → Medium |
status: | Invalid → Unknown |
Changed in gnome-terminal: | |
status: | Unknown → Invalid |
I'm not sure what the right approach is here.
- Using "Set title" could cause the escape sequence for setting the window title
to be ignored
- bash could omit the escape sequence if running under gnome-terminal
- bash could omit the escape sequence by default