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 Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1511245 Title: unable to rename tabs in gnome-terminal To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1511245/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
