GNOME Bugzilla – Bug 758906
add back set title
Last modified: 2015-12-01 16:54:59 UTC
One day I install ubuntu 15.10 with new gnome. I open five terminals and try set title but cant find it. WTF? Ok, I start find solution. Try add bash func in ~/.bashrc function set-title() { if [[ -z "$ORIG" ]]; then ORIG=$PS1 fi TITLE="\[\e]2;$@\a\]" PS1=${ORIG}${TITLE} } It work only local. When I connect to remote server title change. And if I use screen => title change again. Why you remove such cool and userfrendly option? Get back!
http://askubuntu.com/questions/616404/ubuntu-15-04-fresh-install-cant-rename-gnome-terminal-tabs http://unix.stackexchange.com/questions/177572/how-to-rename-terminal-tab-title-in-gnome-terminal https://ask.fedoraproject.org/en/question/61169/how-to-rename-terminal-tab-in-fedora-21/ https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1448511 http://unix.stackexchange.com/questions/212055/gnome-3-14-launch-new-gnome-terminal-and-set-title https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=788413 http://www.linuxquestions.org/questions/linux-software-2/how-to-set-title-on-gnome-terminal-3-14-2-1-fc21-4175534020/
*** This bug has been marked as a duplicate of bug 720693 ***