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

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