Geckozone

Mozilla mémorise vos marque-pages dans un unique fichier nommé bookmarks.html, tandis que Internet Explorer utilise un dossier spécial dans lequel il place un fichier de favori pour chaque lien sauvegardé.

Où se trouve ce fichier bookmarks.html ?

Tout d’abord, il faut que vous sachiez que vos données personnelles sont stockées dans un répertoire de profil utilisateur. Ce répertoire est indépendant du lieu d’installation du navigateur et contient toutes les informations personnelles mémorisées par un navigateur Gecko.

Vous pouvez déterminer où se trouve le dossier de profil pour la Suite Mozilla en suivant la FAQ de P. Chevrel. Pour Firefox, suivez la même démarche, mais dans le répertoire intitulé Mozilla, dirigez-vous à l’intérieur du répertoire Firefox.

N’oubliez pas que par défaut, ce répertoire de profil utilisateur est masqué par le système de fichiers.

Descriptif rapide de ce fichier

Ce fichier bookmarks.html est écrit en HTML par le navigateur. Il est déconseillé toutefois de tenter de le modifier manuellement sous peine de perdre ses informations.

Si les caractères accentués apparaissent mal sur votre écran lorsque vous ouvrez ce fichier avec un éditeur de texte, c’est que l’encodage des caractères (UTF-8) n’est pas supporté par votre éditeur (par exemple : un é s’affichant en é).

À chaque lancement du navigateur, ce fichier est lu et recréé par Mozilla. Une copie de sauvegarde est assurée et identifiable par une extension .bak. Ce fichier de sauvegarde est précieux : si par mégarde un plantage survient au milieu d’une session d’écriture dans ce fichier, il vous suffirait de renommer le fichier bookmarks.bak en bookmarks.html pour retrouver vos marque-pages tels qu’ils étaient lors du précédent démarrage du navigateur.

Comment faire la sauvegarde ?

Pour faire la sauvegarde de vos marque-pages, il vous suffit tout simplement de copier ce fichier bookmarks.html sur un emplacement de sauvegarde (un répertoire du disque dur, un CD-R, CD-RW, une disquette - ça existe encore ? -, etc.).

Vous pouvez aussi utiliser le Gestionnaire de marque-pages accessible via le menu Marque-pages > Gérer les marque-pages..., en choisissant le menu Fichier > Exporter... proposé. Il vous est demandé alors de choisir en emplacement de sauvegarde :

Menu d’exportation des marque-pages

Et la restauration ?

En cas de problème avec vos marque-pages, de réinstallation complète de votre système d’exploitation ou de changement de machine, il vous suffit de lancer votre navigateur, d’ouvrir le Gestionnaire des marque-pages, et d’importer ce fichier de sauvegarde grâce au menu proposé.

Menu Importer... du gestionnaire de marque-pages

Notez que vous pouvez également remplacer le fichier bookmarks.html qui se trouve dans votre nouveau répertoire profil utilisateur. Cependant, cette manœuvre écrasera les marque-pages enregistrés entre-temps.