juin 29

désenstaller proprement une extension

les extensions Firefox se placent dans le dossier du profiles/***.default, dans des dossier distinctes mais pas toujours avec le même nom que l’extension.

Via le menu de Firefox : ?/informations de dépannage, on peut accéder à une interface qui permet en autre, d’ouvrir son dossier de profile et d’accéder à chaque dossier d’extensions.

Une liste indique le nom des extensions et le nom du dossier utilisé (ID). Il suffit donc de désinstaller l’extension classiquement et ensuite de supprimer le dossier.

 


Étiquettes :

Ecrit 29 juin 2013 par Pit dans la catégorie "Firefox

Laisser un commentaire

Votre adresse de messagerie ne sera pas publiée.

trois × 3 =