Comment supprimer l'extension GNOME du menu Applications?
L'extension GNOME du menu Applications ne fonctionne pas sur Ubuntu 18.04. Le menu des applications de la barre supérieure est inactif et ne peut pas être supprimé (de manière évidente) même après la désinstallation.
Le problème principal est que le texte/bouton des applications qui ne répondent pas ne disparaît pas après la désinstallation de l'extension.
Il semble que je ne sois pas le seul à lutter contre ce problème:
Avis de l'utilisateur damir107: https://extensions.gnome.org/extension/6/applications-menu/
Aussi, tourner dans des coins chauds ne change rien pour moi.
Une idée de comment supprimer le texte/bouton du coin supérieur gauche? Merci!
Eu ce problème, et est tombé sur cette question tout en essayant de savoir comment le supprimer. Enfin je l'ai fait.
COURIR:
cd /usr/share/gnome-Shell/extensions
Sudo rm -rf [email protected]
Redémarrez après.