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 -- desktop mailing list desktop@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/desktop