This works just fine for me with bash too, with the default profile, no
less. Not sure why it hates you. But pretty please, don't change
gnome-terminal to do things it shouldn't.
In fact, I think I'll just wontfix the gnome-terminal bug before anyone
gets any clever ideas.
** Changed in: gnome-terminal (Ubuntu)
Status: New => Won't Fix
--
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/1311911
Title:
Append remote hostname to gnome-terminal title by default
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/bash/+bug/1311911/+subscriptions
--
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
