Archlinux.fr [Forums]

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 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

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