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