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@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@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 Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu. https://bugs.launchpad.net/bugs/1311911 Title: Append remote hostname to gnome-terminal title by default To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/bash/+bug/1311911/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs