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

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