Frage
Ich würde gerne wissen, wie man unter Ubuntu 18.04 ein einheitliches HUD (Heads Up Display) verwenden kann, vorzugsweise mit der Gnome-Shell als Standard.
Mit HUD meine ich den Zugriff und die Suche nach Menüelementen (keine Anwendungen oder Dateien!) beim Drücken (und Loslassen) alt.
Gibt es eine verwendbare Gnome-Erweiterung oder Apps von Drittanbietern, die in 18.04 funktionieren?
Diskussion
Es gibt bereits einige Diskussionen hier . Dies ist jedoch weniger spezifisch, da ich nach einer Ubuntu 18.04-Lösung (mit Gnome-Shell) suche.
Einige der angegebenen Lösungen sind:
plotinus scheint vielversprechend, funktioniert aber nur mit GTK + Apps.
Gnome Global Application Menu (HUD für Gnome) , Kommentare sagen, dass es in 18.04 nicht funktioniert, obwohl der letzte Kommentar (vom 06.05.18) besagt, dass die neueste Version, wenn sie manuell von Github installiert wird, in 18.04 funktionieren sollte. (Ich würde mich über eine detaillierte Anleitung zum manuellen Installieren einer Erweiterung freuen.)
sudo apt-get install ubuntu-unity-desktop.