Public bug reported: 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). https://bugzilla.gnome.org/show_bug.cgi?id=720693 ** Affects: gnome-terminal (Ubuntu) Importance: Undecided Status: New -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-terminal in Ubuntu. https://bugs.launchpad.net/bugs/1511245 Title: unable to rename tabs in gnome-terminal Status in gnome-terminal package in Ubuntu: New 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). https://bugzilla.gnome.org/show_bug.cgi?id=720693 To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1511245/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : [email protected] Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
