J'ai un petit problème avec les extensions de shell gnome. Après avoir installé certains d'entre eux, j'ai compris que je ne les aimais pas et j'ai décidé de les supprimer. Les extensions elles-mêmes (leurs dossiers dans /home/username/.local/share/gnome-shell/extensions) ont été supprimées avec succès. Cependant, les extensions supprimées n'ont pas été supprimées de la liste des extensions installées sur extensions.gnome.org . Ils n'ont pas non plus été supprimés de la liste dans gnome-tweak-tool.
Alors maintenant, dans ma liste, j'ai un tas d'extensions que j'ai déjà supprimées. Ce qui est drôle, c'est que je ne peux pas les réinstaller aussi, car l'outil gnome-tweak et le site Web pensent qu'ils sont toujours là. Ce n'est pas un gros problème bien sûr, mais je trouve cela un peu ennuyeux.
La réinstallation de gnome-tweak-tool n'a pas aidé.
Existe-t-il un moyen de mettre à jour le statut des extensions installées?
la source
Réponses:
Comment supprimer complètement une ou toutes les extensions Gnome-shell
Ouvrir le terminal: (depuis le menu de l'application ou en appuyant sur Ctrl + Alt + T)
Tapez ensuite: sudo su - et tapez votre mot de passe et appuyez sur entrée
puis tapez cette commande:
puis tapez cette commande pour voir toutes vos extensions installées: ls
puis tapez cette commande pour supprimer chacune ou l'extension que vous souhaitez vraiment supprimer complètement:
par exemple: rm -r [email protected]/
et appuyez sur: Alt + F2 puis tapez "r" oui simple juste un r
Ok c'est fait.
Vous pouvez vérifier extensions.gnome.org pour en être sûr.
la source
Accédez aux extensions installées sur extensions.gnome.org et cliquez sur le symbole X dans le cercle à droite de l'extension pour la désinstaller. L'interrupteur ON / OFF le désactive uniquement.
la source