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

[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
Foundations Bugs, which is subscribed to bash in Ubuntu.
https://bugs.launchpad.net/bugs/1311911

Title:
  Append remote hostname to gnome-terminal title by default

Status in “bash” package in Ubuntu:
  New
Status in “gnome-terminal” package in Ubuntu:
  Won't Fix

Bug description:
  The window matching in 14.04 is perfect for finding windows you think
  you've lost. Sysadmins usually use a bunch of terminals, it would be
  cool if Super-W then typing in a remote hostname would Just Work with
  Unity's spread and searching.

  To do this we need to set gnome-terminal's title when a person ssh'es
  to a machine to have something like "jorge at remotehost" in the title.
  This would allow the spread to search for those windows.

  See also: http://unix.stackexchange.com/questions/14113/is-it-
  possible-to-set-gnome-terminals-title-to-userhost-for-whatever-host-i

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/bash/+bug/1311911/+subscriptions