Voici quelques astuces radicales données par mortimerpa.
1. Faire un cleanup des extensions, en prendre le minimum.
2. Refaire un profil tous les trois mois ou quand il commence à trop ramer.
En effet, tous les logiciels Mozilla utilisent le système de profils pour stocker les paramètres et les préférences personnels de l’utilisateur. Le gestionnaire de profils permet de réaliser le va-et-vient entre plusieurs profils.
Méthode
S’assurez-vous que Firefox soit bien fermé, et ne fonctionne pas en arrière-plan.
Ouvrir le terminal et taper la ligne suivante :
/Applications/firefox.app/Contents/MacOS/firefox -profilemanager
Et pour windaube dans Démarrer > Exécuter, entrez
firefox.exe -profilemanager
Le gestionnaire de profils de Firefox s’affichera alors. Vous pourrez créer, renommer ou supprimer vos profils à votre guise, et enfin choisir celui que vous souhaitez utiliser, et afficher une boite de dialogue à l’ouverture, voire même choisir une destination spécifique pour votre dossier de profil. En laissant votre souris sur un des profils, le gestionnaire vous indiquera son emplacement sur votre disque.
Les extensions incontournables retenues pour le profil de developpement web
Webdevelopper (en)
Webdevelopper (fr)
Firebug
csswiewver
Fireftp
Aardvark
Delicious
Total Validator
Dictionnaire francais
On pourra aussi créer un profil navigation dénué de toute extension.
Il vous faudra réimporter manuellement vos favoris, ou opter pour un système de bookmark et de tag comme Delicious par exemple.
Conclusion
Après ce grand nettoyage, firefox ne s’en est porté que mieux. Quasi métamorphosé, je me suis réconciliée avec lui.