Restaurer Firefox

Neuf fois sur dix, lorsque Firefox fonctionne mal, l'utilisateur désinstalle puis réinstalle le programme. Neuf fois sur dix, les problèmes subsistent.. soit parce qu'ils sont générés par l'environnement système (Windows, mémoire, autres logiciels, etc..), soit et surtout parce que la cause des dysfonctionnements vient très souvent non pas du programme en lui-même mais du profil utilisateur (incompatibilités des extensions installées, mauvais paramétrages, fichiers corrompus ou abimés). Les causes liées à l'environnement système sont un autre débat, intéressons nous aux corruptions du profil et aux moyens d'y remédier..

• Démarrer Firefox en mode sans échec

Un peu comme avec Windows, le mode sans échec de Firefox permet de démarrer uniquement le programme, sans les modules complémentaires (thèmes et extensions) ni les réglages utilisateurs. C'est la première manip à faire en cas de troubles de fonctionnement du navigateur, et elle est très simple à exécuter : menu "Démarrer" => "Programmes" => "Mozilla Firefox" => "Mozilla Firefox (mode sans échec)", ou bien menu "Démarrer" => "Exécuter" => taper firefox -safe-mode et valider. Dans la boîte de dialogue qui s'ouvre alors, ne rien cocher, et cliquer sur "Poursuivre en mode sans échec" :

Si sous cette forme, Firefox refonctionne normalement, c'est qu'effectivement le ou les problème(s) vien(nen)t bien du profil, auquel cas soit on relance Firefox en mode normal et on désactive les extensions (ou thèmes) une à une jusqu'à trouver le module coupable, soit on essaie de restaurer le profil..

• Restaurer le profil de Firefox

Pour cela, on va à nouveau utiliser le mode sans échec de Firefox, mais cette fois en restaurant les préférences par défaut du navigateur : cocher "Réinitialiser les préférences par défaut" et cliquer sur "Effectuer les changement et redémarrer":

Firefox redémarrera avec les extensions et thèmes activés, mais en remettant d'une part les "options" de Firefox aux valeurs par défaut (comme lors de la première installation du programme), et d'autre part en remettant également les réglages des extensions aux paramétrages par défaut.

En fait, cette restauration revient à remettre aux valeurs d'origine les paramètres de about:config [en] précédemment modifiés via le fichier pref.js [en], et cela suffit parfois à redonner un fonctionnement normal à Firefox, sans se lancer dans la fastidieuse recherche de l'extension coupable.. Mais si ce n'est pas le cas, il faut alors aller manuellement dans le dossier du profil et supprimer le fichier user.js (ou le vider via l'extension ChromEdit [en]) car il faut savoir que lors de la restauration par défaut décrite ci-dessus, seul le fichier prefs.js est nettoyé, mais pas le fichier user.js qui contient les instructions éventuellement paramétrées manuellement par l'utilisateur. Et comme à la fermeture de Firefox, le fichier prefs.js est automatiquement remis à jour en fonction du contenu du user.js, il peut subsister des instructions non traitées par la restauration..

Mais si malgré toutes ces manips, les problèmes persistent, il ne restera plus alors qu'à exporter les marque-pages, à sauvegarder les mots de passe, et à créer un nouveau profil pour redémarrer Firefox dans un environnement vraiment restauré !

Firefox : comment aller dans le profil

Sous Firefox, accéder au dossier de son profil en un clic ? Facile !! Et une fois de plus, grâce à Mr Tech Toolkit ! Cette extension, véritable "couteau suisse" pour Firefox, nous avait déjà permis de personnaliser la barre des titres, ou encore d'établir la config d'un profil (extensions, thèmes et plugins). Mr Tech Toolkit (MTT) offre également la possibilité d'aller directement dans le dossier du profil courant, et ce de deux façons :

• soit via le menu "Outil" (aucun paramétrage particulier, c'est installé nativement par MTT dans le menu) :

• soit en intégrant le bouton "Éditer ma configuration" fourni par l'extension et préalablement inclus dans la barre d'outils de Firefox via "Affichage" => "Barre d'outils" => "Personnaliser" :

Dès lors que l'on sait créer un nouveau profil, il est intéressant de pouvoir y accéder rapidement, ne serait-ce que pour en visualiser le contenu, vérifier un fichier, retrouver une sauvegarde des marque-pages (même si désormais elle se fait au format .json, via un peu pratique fichier sqlite), modifier une extension, etc.. Et pour peu que l'on prenne goût à utiliser plusieurs profils, le fait de savoir comment y aller aisément simplifie quand même bien les manips..

A noter également que MTT permet aussi, par les deux même procédés, d'ouvrir facilement le dossier d'installation de Firefox : pratique notamment pour vérifier un plugin !

Enfin, et pour les plus "speed", l'extension "Custom Buttons" pourra même créer un bouton dédié dans la barre d'outils (avec l'icône de son choix) pour accéder en un clic à n'importe quel répertoire (dont bien entendu celui du profil), et ce sans même transiter par un menu :

Magique, Firefox, non ?

Firefox : utiliser plusieurs profils

Disposer de plusieurs profils sous Firefox peut constituer un élément de confort non négligeable, notamment pour répartir les extensions par thème (multimédia, Web tools, etc..) ou simplement pour tester en toute sécurité les nouvelles versions de Firefox ou de modules complémentaires.

Pouvoir utiliser rapidement le profil de son choix, tout comme gérer et optimiser ses profils, n'est finalement pas très compliqué, de nombreux outils fiables et performants étant disponibles pour cela.

Dans un premier temps, nous avons vu comment créér un nouveau profil (et/ou renommer ou supprimer un profil). Nous pouvons donc maintenant en créer autant que de besoin. Reste à faciliter le choix du profil. Pour cela, nous allons utiliser sous Windows un astucieux raccourci (créé par un script : suivre les conseils d'installation sur la page de Geckozone) qui offre immédiatement les bonnes options par un clic droit sur l'icône :

On notera que ce raccourci présente également l'avantage d'être exempté de la petite flèche habituelle, ce qui est esthétiquement plus agréable.

Après réglage de l'option dans le Gestionnaire de Profils, un double clic sur l'icône ouvrira systématiquement ce Gestionnaire pour offrir le choix du profil.

Je n'insisterai pas sur le choix des extensions basiques à réinstaller dans chaque nouveau profil, chacun ayant naturellement ses préférences en la matière (à titre purement indicatif, ici ma configuration type sous firefox 2).

Par contre, et dès lors que l'on utilise plusieurs profils, on se retrouve rapidement avec des marque-pages différents d'un profil à un autre puisqu'il y a un fichier par profil (voir si besoin mon billet indiquant où se trouvent les marque-pages). Pour peu que l'on ne soit pas tenu à des impératifs de confidentialité, il peut alors être très intéressant de n'utiliser qu'un seul fichier bookmarks pour l'ensemble des profils, ce qui évitera de fréquentes et fastidieuses mises à jour d'un profil à un autre. Pour cela il convient de pratiquer comme suit, en respectant bien l'ordre des actions :

- Parmi le ou les profils crée(s), choisir le fichier bookmarks qui va constituer le fichier maître et déterminer l'emplacement définitif de ce fichier unique : par exemple en racine du dossier des profils : => C:\Documents and Settings\Utilisateur\Application Data\Mozilla\Firefox\Profiles\ (ou si vous préférez, dans un dossier "Firefox" à créer dans Mes Documents" ou en racine de C ou même sur une autre partition (fixe), peu importe, c'est à votre convenance). En ce qui me concerne, pour des questions de sauvegardes, mon fichier unique est en racine du dossier des profils, comme indiqué ci-avant.

- Dans chacun des profils concernés, installez l'extension ChromEdit (sauf si vous utilisez MR Tech Local Install, c'est inutile car ce module y est déjà inclus) et fermez Firefox.

- Une fois le "fichier maître" et son emplacement choisis, copiez ce fichier à cet emplacement et écrasez avec ce fichier les fichiers bookmarks.html des autres profils (après en avoir quand même fait une sauvegarde si vous le souhaitez). Si par exemple vous avez 3 profils A,B,C, et que c'est le fichier de B qui est retenu comme fichier maître, copiez le à l'endroit convenu et écrasez les fichiers dans les profils A et C, de telle sorte que les quatre fichiers (1 + 3) soient identiques. Ceci afin que Firefox puisse démarrer à cet instant avec le même fichier sur les 3 profils.

- Lancez Firefox dans le profil A, Menu Outils => "Editer les fichiers utilisateurs", ce qui va appeler l'extension ChromEdit. Sélectionnez l'onglet " user.js ", et ajoutez simplement (faites un copier/coller) la ligne de code relative au nouvel emplacement choisi pour le fichier unique des marque-pages, soit pour mon exemple :

user_pref("browser.bookmarks.file", "C:\Documents and Settings\Utilisateur\Application Data\Mozilla\Firefox\Profiles\bookmarks.html");

- Cliquez sur sauvegarder en bas à gauche de ChromEdit, fermez la fenêtre et Firefox sans rien faire d'autre, et répétez exactement la même opération dans les profils B et C de façon à ce que ce code figure dans le " user.js " des 3 profils.

A partir de maintenant, seul le fichier B sera mouvementé quel que soit le profil utilisé, ce qui n'empêchera d'ailleurs nullement les sauvegardes automatiques de continuer à être réalisées (comble du raffinement !) profil par profil par Firefox. Cela fait maintenant plus de 2 ans que je n'utilise plus qu'un seul fichier bookmarks.html pour l'ensemble de mes profils, c'est extrêmement fiable et pratique sous Firefox 1.5 ou Firefox 2 (Sous Firefox 3, ça a fonctionné avec les premières versions alpha de Gran Paradiso, mais c'est désormais incompatible).

Il sera également possible, si besoin est, de sauvegarder et d'importer facilement les mots de passe d'un profil à un autre avec l'extension Password Exporter.

Enfin, dernière sophistication possible, passer d'un profil à un autre très rapidement (sans relancer Firefox) avec l'extension ProfileSwitcher. Cette extension, que j'utilse là encore depuis plus d'un an sans problème, permet même d'ouvrir et de travailler sur deux profils en même temps ! Elle s'appelle par le menu du profil en cours, dans lequel s'affichent les autres profils disponibles :

Les icônes et smileys sont une customisation de mon fait (ça me permet de m'y retrouver rapidement parmi tous mes profils !) et ne sont pas fournis avec l'extension. Mais pour peu que vous manifestiez de l'intérêt pour cet article, je ferai un autre billet explicatif sur la personnalisation des menus, avec un p'tit package images + code à télécharger ;)

Voilà, un peu comme choisir sa voiture le matin dans son garage en fonction du parcours de la journée, vous pouvez désormais choisir le profil le mieux adapté à votre surf du jour, et même changer de voiture en cours de route ! :)

Firefox - Créer un nouveau profil

En cette période de mises à jour, voire d'upgrade, il ne me paraît pas inopportun de rappeler comment créer (puis gérer) un nouveau profil [fr] sous Firefox, ne serait-ce que pour vous permettre de procéder à quelques tests en toute sécurité ;)

Donc et en préparant ce billet, j'avais fait diverses copies d'écran histoire de l'illustrer, mais cette manip étant désormais parfaitement bien expliquée dans l'aide de Firefox, pas la peine de faire un doublon :)

Par contre, à quoi cela servirait-il de créer un ou plusieurs profil(s) si c'est pour toujours utiliser le même ? Si l'on veux ensuite librement choisir son profil à chaque ouverture de Firefox, il faut donc, dans le Gestionnaire de profil, décocher la case "Ne pas demander au démarrage" :


C'est également par cet même outil que vous pourrez très facilement renommer ou supprimer un profil. N'hésitez donc pas à systématiser son utilisation, vous verrez, on s'y fait très vite !

.