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?