Vor fast zwei Jahren haben ich schon einmal darüber geschrieben, dass man mit der Shell-Erweiterung VirtualBox Vm Search Provider in VirtualBox erzeugte virtuelle Maschinen aus der GNOME-Shell heraus aufrufen kann. Mit Hilfe der Extension muss man zum Starten einer VM einfach auf die Windows/Super-Taste drücken, einen Teil des Names der gewünschten VM eingeben, diese mit [Runter] auswählen und per [Return] starten — die eigentliche VirtualBox-Anwendung kann geschlossen bleiben.
Leider gab die Shell-Erweiterung recht schnell ihren Geist auf. Ich meine, dass sie bereits mit einem Update auf GNOME 3.6 ihren Dienst quittierte und danach lange nicht aktualisiert wurde. Nun aber — gut schon seit zwei Monaten — funktioniert sie aber auch wieder mit GNOME 3.8 und neuer. Wer VirtualBox auf seinem Rechner hat und die GNOME Shell nutzt, der muss nur die Erweiterung aktivieren. Die VM sollten dann umgehend in der Aktivitäten-Übersicht erscheinen.
Na dann mal viel Spaß, wenn die ersten Distris demnächst Versionen mit Gnome 3.12 ausrollen :-/
Oh, das hört sich gut an. Sowas würd mich auch für KDE interessieren. Wenn ich mir die Dokumentation für KRunner anschaue, könnte man das aber eventuell auch relativ machbar noch selber z.B. in Python programmieren (ein bisschen Talent vorausgesetzt): Von VirtualBox die Liste der installierten VMs abfragen und dann lauschen, ob in KRunner eine davon eingetippt wird.