Bon, en explorant mon répertoire .mozilla, je me suis aperçu que certains de ses sous-répertoires appartenaient à root et plus à moi. Je ne sais pas à quel moment cela s'est produit. Surtout que ce n'est pas la première fois (ni sur les mêmes machines, ni sur les mêmes distribs).
Un petit chown récursif a grandement amélioré les choses. Pour autant, mon répertoire était dans un état instable difficile à corriger. Éditer les fichiers *.rdf semble fonctionner sur le moment, mais très vite Firefox perd les pédales. D'autre part, on trouve des extensions stockées normalement dans "extensions" et d'autres dans le répertoire "chrome", en principe dédié au thème ! C'est le cas de Adblock Plus et de User Agent Switcher, qui disparaissaient alors de la liste des extensions installées mais restaient disponibles.
Heureusement, pour régler tout cela, il suffit de sauver ses bookmarks en copiant le fichier bookmark.html en lieu sûr, effacer son .mozilla, relancer Firefox et replacer ses bookmark dans le nouveau répertoire fraîchement créé.
C'est la grande force d'Unix, d'ailleurs. Il arrive de temps en temps que les choses finissent par casser, mais au moins ELLES SE REPARENT ! :-)
Merci d'avoir pris le temps de creuser mon problème !
[^] # Re: re : Firefox : désinstallation des plugins défectueuse
Posté par Obsidian . En réponse au message Firefox : désinstallation des plugins défectueuse.. Évalué à 2.
Bon, en explorant mon répertoire .mozilla, je me suis aperçu que certains de ses sous-répertoires appartenaient à root et plus à moi. Je ne sais pas à quel moment cela s'est produit. Surtout que ce n'est pas la première fois (ni sur les mêmes machines, ni sur les mêmes distribs).
Un petit chown récursif a grandement amélioré les choses. Pour autant, mon répertoire était dans un état instable difficile à corriger. Éditer les fichiers *.rdf semble fonctionner sur le moment, mais très vite Firefox perd les pédales. D'autre part, on trouve des extensions stockées normalement dans "extensions" et d'autres dans le répertoire "chrome", en principe dédié au thème ! C'est le cas de Adblock Plus et de User Agent Switcher, qui disparaissaient alors de la liste des extensions installées mais restaient disponibles.
Heureusement, pour régler tout cela, il suffit de sauver ses bookmarks en copiant le fichier bookmark.html en lieu sûr, effacer son .mozilla, relancer Firefox et replacer ses bookmark dans le nouveau répertoire fraîchement créé.
C'est la grande force d'Unix, d'ailleurs. Il arrive de temps en temps que les choses finissent par casser, mais au moins ELLES SE REPARENT ! :-)
Merci d'avoir pris le temps de creuser mon problème !