Je voudrais savoir quelles sont les manières possibles d'utiliser un type semblable à l'unité HUD (affichage tête haute) sur Ubuntu 18.04, de préférence avec le gnome Shell par défaut.
par HUD Je parle de l'accès et de la recherche d'éléments de menu ( pas les applications ou les fichiers!) lorsque vous appuyez (et relâchez) alt.
Existe-t-il une extension de gnome utilisable ou des applications tierces fonctionnant sous 18.04?
Il y a déjà des discussions ici . Mais ceci est moins spécifique car je recherche une solution Ubuntu 18.04 (avec Gnome Shell).
certaines des solutions indiquées sont:
plotinus semble prometteur, mais ne fonctionne qu'avec les applications GTK +.
Menu d'application globale de Gnome (HUD pour Gnome) , les commentaires indiquent que cela ne fonctionne pas dans 18.04, bien que le dernier commentaire (daté du 06.05.18) indique que la dernière version, si elle a été installée manuellement à partir de github, devrait fonctionner dans 18.04. . (J'apprécierais des instructions détaillées sur la façon d'installer une extension manuellement)
Un menu similaire à Unity comme HUD pour l'environnement de bureau GNOME à l'aide du menu rofi