[Bug 1311911] [NEW] Append remote hostname to gnome-terminal title by default
Jorge O. Castro
jorge at ubuntu.com
Wed Apr 23 22:39:59 UTC 2014
Public bug reported:
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
** Affects: bash (Ubuntu)
Importance: Wishlist
Status: New
** Affects: gnome-terminal (Ubuntu)
Importance: Wishlist
Status: New
** Also affects: gnome-terminal (Ubuntu)
Importance: Undecided
Status: New
** Changed in: gnome-terminal (Ubuntu)
Importance: Undecided => Wishlist
** Description changed:
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
--
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