[bug] Supprimer un module installé via webext

[Otyugh]

Yop,
quand on installe un module firefox via le gestionnaire de paquet, par exemple sous debian webext-ublock-origin ; le module est installé dans firefox. Quand on essaye de le supprimer (firefox fait croire qu'on le peut), ben il fait "comme si", et au redémarrage, l'extension est de retour.

À priori c'est un bug, l'UI devrait informer que firefox ne peut pas supprimer l'extension (en grisant l'option) ou au moins masquer l'extension supprimée pour le profil en cours.

J'ai essayé d'ajouter le bug dans leur bugtracker mais... J'ai pas trouvé comment faire
C'est pas majeur, mais c'est très contre-intuitif pour les débutants qui ont des webext préinstallés, on dirait que firefox bug.

[Cucurbitacé]

Bonjour Otyugh,

Vous pouvez faire disparaitre l’extension en allant dans votre profil et le dossier : extensions, il vous suffira de la supprimer ; ainsi que le dossier : staged.

Cordialement.

[Bob49]

Salut

Quand on essaye de le supprimer

Manque de précision ! Comment essayes-tu de la désinstaller ?

Comme tu l'as installé via le gestionnaire de paquet, as-tu été la désinstaller depuis celui-ci et Firefox fermé ?

Il va de soi que si l'on installe un paquet depuis un gestionnaire de paquets dépendant d'une distribution (ou un gestionnaire ajouté) , qu'il faut le désinstaller depuis ce dernier !..

Je n'ai pas de Debian sous la main, mais il est fort possible qu'avec une installation via le gestionnaire de paquets, il n'y a pas que la dite extension dans le profil de Firefox, mais un autre paquet dans un autre répertoire...

mais c'est très contre-intuitif pour les débutants qui ont des webext préinstallés, on dirait que firefox bug.

Firefox n'est pas responsable des modules qui ne sont pas installés depuis le catalogue de Mozilla ou depuis les modules complémentaires. Pour les modules installés depuis un autre logiciel ne dépendant pas de Mozilla, voir du côté de ce dernier. Donc non, ce n'est surement pas un bug de Firefox.

Pour les débutants, autant continuer à installer les modules depuis le catalogue de Mozilla ou éventuellement via les modules complémentaires, c'est surement plus pratique que d'avoir des modules "imposés" depuis un autre logiciel.