Gnome-terminal indeed removed this feature from the UI. You can still
set the title via escape sequences. E.g. define this function in your
.bashrc:
title () {
echo -n $'\e]0;'"$@"$'\a'
}
and then change the title with the command:
$ title This is my new title
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/1448511
Title:
Unable to set gnome-terminal title from menu in Vivid Vervet
To manage notifications about this bug go to:
https://bugs.launchpad.net/gnome-terminal/+bug/1448511/+subscriptions
--
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
