[Bug 1311911] Re: Append remote hostname to gnome-terminal title by default

2014-04-24 Thread Launchpad Bug Tracker
Status changed to 'Confirmed' because the bug affects multiple users. ** Changed in: bash (Ubuntu) Status: New = Confirmed -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1311911 Title:

[Bug 1311911] Re: Append remote hostname to gnome-terminal title by default

2014-04-24 Thread Jorge O. Castro
So we do this ootb on a pristine install -- in g-t I was setting Keep title instead of append, which would mean I set it to not show anything in there but Terminal. This is invalid, sorry for the bugspam. ** Changed in: bash (Ubuntu) Status: Confirmed = Invalid -- You received this bug

[Bug 1311911] Re: Append remote hostname to gnome-terminal title by default

2014-04-23 Thread Rodney Dawes
I'm not sure gnome-terminal needs any changes for this. The feature works fine here when the shell is correctly setting the environment, which zsh is for me. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu.

[Bug 1311911] Re: Append remote hostname to gnome-terminal title by default

2014-04-23 Thread Adam Conrad
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: