Perte des marque-pages en Firefox

Pour tout utilisateur sérieux du Web, quel que soit l’outil utilisé, la fonction signets, favoris ou marque-pages selon la plate-forme est certainement essentielle. La collection de marque-pages prend des mois à constituer, on y consigne des liens fréquemment consultés, on classe des ressources pour des projets à venir, bref, c’est la cartographie de notre espace Web.

Peu après avoir installé la mise à jour 1.5.0.1 de Firefox, en quittant l’application, une erreur est survenue et mon système (en Windows XP Pro) a redémarré. Jusque là banal comme incident, sauf qu’en relançant Firefox j’ai constaté que tous mes marque-pages avaient disparu, ainsi que tous mes paramètres et autres réglages de personnalisation.

Astuce technique : une recherche sommaire m’a permis de trouver une extension pour Firefox (format .xpi), Bookmark Backup, qui effectue une sauvegarde des marque-pages et d’autres réglages chaque fois que l’on quitte Firefox. De cette manière, si un «incident» survient, on ne perdra que les marque-pages de la plus récente séance de travail. Ingénieux.

Bookmark Backup, implicitement, effectue cette sauvegarde dans votre profil d’utilisateur. Il offre cependant la possibilité de le faire dans un répertoire de votre choix, et enregistre vos marque-pages dans un fichier html. Cette extension Firefox fonctionne sous Windows et Linux, bien que certains utilisateurs de Mac OS X aient signalé quelques problèmes.