gnome-terminal title not displayed while ignoring escape-crap settings
Submitted by Mike Coleman
Link to original bug (#414992)
Description
Please describe the problem: There is no way to have gnome-terminal tab titles show the value the user enters with "Set Title..." while still ignoring escape-crap changes, typically emitted by a bash PROMPT_COMMAND settings.
This is a serious annoyance for user that have to log in regularly to hosts that they don't completely administratively control. The gnome-terminal user interface should obey the user's wishes--not those of an admin on another host.
Steps to reproduce:
- In "Edit:Current Profile:Title and Command", set Dynamically-set Title to "Isn't Displayed"
- Use "Terminal:Set Title" to set a title of your choice
Actual results: The title of your choice is not shown.
Expected results: I would expect it to be shown.
Does this happen every time? Yes.
Other information: An alternative solution would be to add an "ignore escape-crap" checkbox. This seems less useful, as presumably users would always want to see titles that they themselves set.
Version: 2.22.x
Resolution: RESOLVED FIXED