[Gnome3] Désinstallation propre des extensions (Résolu)

[Hellsing]

Bonjour,

Bon voilà en allant sur le site https://extensions.gnome.org/ j'ai installé plein d'extensions, que je désactivais quand je me rendais compte qu'elle ne servaient à rien. Sauf qu'elles alourdissent mon système quand même... J'ai donc été dans

Code : Tout sélectionner

~/.local/share/gnome-shell/extensions/

et ai supprimé les extensions que je n'aimais pas ou qui n'étaient pas activées. C'est barbare comme méthode, je voudrai savoir si quelqu'un a une autre technique pour désinstaller des extensions gnome3 ?

Merci d'avance

[Hellsing]

Mea culpa, je viens de voir un boutton Uninstall sur le site nommé ci-dessus
#résolu