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

Rodney Dawes 1311911 at bugs.launchpad.net
Wed Apr 23 22:48:55 UTC 2014


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

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



More information about the foundations-bugs mailing list