Les extensions Gnome restent dans la liste après avoir été supprimées


8

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?


Vous êtes-vous déconnecté, puis reconnecté?
Alistair Buxton

@Alistair, oui bien sûr, multipliez les temps =)
SingerOfTheFall

1
Avez-vous justement installé le paquet gnome-shell-extensions? Pour autant que je sache, les deux endroits où les extensions peuvent être placées sont / usr / share / gnome-shell / extensions / et $ HOME / .local / share / gnome-shell / extensions /
arand

Réponses:


2

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

entrez la description de l'image ici

puis tapez cette commande:

cd /home/"your user account"/.local/share/gnome-shell/extensions/

entrez la description de l'image ici

puis tapez cette commande pour voir toutes vos extensions installées: ls

entrez la description de l'image ici

puis tapez cette commande pour supprimer chacune ou l'extension que vous souhaitez vraiment supprimer complètement:

rm -r name-of-extention

par exemple: rm -r dash-to-dock@yyy.gmail.com/

entrez la description de l'image ici

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.


0

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.

entrez la description de l'image ici


2
C'est la première chose que j'ai essayée. Le bouton ne fait rien.
SingerOfTheFall
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.