On Thu, 2013-11-14 at 12:45 -0500, Owen Taylor wrote:
> - handling of many multiple terminal windows
I'd like to see us exploring the idea of being smart about remote
connections to remote servers, and not just considering them to be ssh
run inside a generic terminal. If you have a 'remote terminal' app that
knows what server you are connected to, it can export a GNOME Shell
search provider:
* That can show both servers that you are connected to, and servers you
might want to connect to (from your history, from ~/.ssh/known_hosts)
* That can handle both windows and tabs and switch you to the right
window or the right tab.
* If available, can show distinguishing visual representations of
servers, like an icon
Some ideas along these lines are collected here:
https://wiki.gnome.org/Design/Whiteboards/TerminalBrainstorm
We'll be looking at getting some of these implemented for GNOME 3.12.
Our initial target list includes:
https://bugzilla.gnome.org/show_bug.cgi?id=711059 Notifications for
long-running commands
https://bugzilla.gnome.org/show_bug.cgi?id=711060 Always update the
terminal title for the running command
https://bugzilla.gnome.org/show_bug.cgi?id=711075 Include a gnome-shell
search provider