Nous avons vu dans un article précédent comment créer des profils pour séparer les activités dans Firefox afin d'assurer des niveaux de sécurité différents en fonction des usages.
Si vous partez de votre profil par défaut, le canal historique, et que vous créez des profils par la suite, comme une amélioration de votre usage naturel, alors vous disposez d’un profil par défaut qui a accumulé toutes vos mauvaises habitudes.
Vous pouvez changer le profil par défaut, mais vous pouvez aussi décider, pour des raisons sentimentales, de conserver ce profil. Mais ce dernier, avec le temps, les extensions, les paramètres inappropriés, est devenu lourd et lent.
Il faudrait donc le nettoyer pour qu’il retrouve sa jeunesse.
Noter la nouvelle configuration
Avec le temps, vous avez probablement appris de vos erreurs. Vos usages se sont affinés, certaines extensions installées ne se sont pas avérées utiles – ou bien pas dans le profil en question si vous avez séparé vos usages –, …
Bref, si vous deviez repartir de 0, vous ne feriez pas exactement pareil.
Notez donc la configuration et les extensions qui vous sont utiles et dont vous auriez besoin si vous deviez tout faire proprement, les moteurs de recherches que vous utilisez le plus, ceux dont vous n’avez pas besoin, votre thème, ...
Faites la liste, ou, mieux, faites des copies d'écran.
Si vous utilisez un css (userChrome.css ou autre) particulier, pensez à le noter et le sauvegarder dans un coin accessible aisément.
Sauver le profil
On ne sait jamais, mieux vaut avoir une sauvegarde, au cas où.
Ouvrez about:profiles, trouvez le profil en question et notez son chemin.
Rendez-vous à cet endroit-là, et faites une sauvegarde du répertoire du profil par copie/compression ailleurs.
Enregistrer les onglets ouverts
Votre activité en cours est très probablement disponible sous la forme d’onglets ouverts dans votre navigateur.
La réinitialisation fermera tous ces onglets… et vous n’avez peut-être pas envie de tous les ré-ouvrir un à un, mais de garder toute cette activité pour la retrouver ensuite à l'identique.
Il convient donc d’enregistrer ces onglets.
Pour cela, effectuez un clic droit sur n’importe lequel des onglets, choisissez «Sélectionnez tous les onglets» dans le menu contextuel, puis effectuez un clic droit sur n’importe lequel des onglets et sélectionnez «Marquer ces onglets…».
Donnez un nom au nouveau dossier contenant ces marque-pages et choisissez le dossier dans lequel vous allez le ranger. Cliquez sur «Ajouter des marque-pages» pour terminer.
Vérifiez rapidement que les onglets soient bien présents dans votre marque-page à l’endroit attendu.
Remarque : Si vous synchronisez vos marque-pages entre les différents profils, vous les retrouverez ailleurs et vous pourrez les ouvrir là si vous choisissez de changer de profil plutôt que d’utiliser l’ancien.
Réinitialiser le profil
Le bouton de réinitialisation est parfois proposé par Firefox lui-même lorsque le lancement prend du temps à s’achever.
Sinon, pour réinitialiser, il faut se rendre dans about:support, puis cliquer sur le bouton «Réparer Firefox».
Paramétrer le profil rafraîchi
À partir de votre liste de configuration préparée, réinstallez les extensions, le thème, reconnectez les comptes, appliquez le paramétrage, …
Ré-ouvrir les onglets
Allez dans le marque-page, trouver le répertoire où les onglets ont été sauvegardés et cliquez sur le marque-page en question. Depuis le menu contextuel, choisir l’option «Ouvrir dans des onglets».