unable to rename tabs in gnome-terminal
Bug #1511245 reported by
TomaszChmielewski
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
gnome-terminal (Ubuntu) |
New
|
Undecided
|
Unassigned |
Bug Description
After upgrading from 12.04 to 14.04 or later, it's no longer possible to rename terminal tabs (as a result of unfortunate changes in upstream gnome-terminal).
This feature is extremely useful for people working with terminals (sysadmins, programmers...).
Upstream developer recommends changing names by using escape sequences, which is complicated and unintuitive (and does not always work, i.e. with remote sessions).
To post a comment you must log in.