[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 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


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

2014-04-23 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
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


[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: 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


[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
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