L'extension GNOME de Arc Menu ne sera pas installée dans Ubuntu 17.10
J'essaie d'installer une extension GNOME Shell appelée Arc Menu sur ma machine Ubuntu 17.10. Je le fais par le biais de https://extensions.gnome.org/extension/1228/arc-menu/ .
En essayant d’installer, j’obtiens le bouton rouge ERROR.
Comment puis-je vérifier l'erreur et y remédier?
Le menu Arc dépend du paquet gir1.2-gmenu-3.0. Installez-le d'abord en exécutant la commande suivante dans Terminal
Sudo apt install gir1.2-gmenu-3.0