Que vous disposiez d’un menu « Marque-pages » à l’ancienne ou d’un bouton « Marque-pages » dans votre barre d’outils, ouvrez-le puis cliquez sur « Afficher tous les marque-pages » (Ctrl + Maj + B) pour ouvrir le gestionnaire de marque-pages (Bibliothèque).

Menu des marque-pages dans Firefox 4b9 Bouton des marque-pages dans Firefox 4b9

Dans la barre d’outils de la « Bibliothèque », cliquez sur « Importation et sauvegarde » puis sur le sous-menu « Sauvegarder… ». Là, vous pouvez choisir le nom et l’emplacement du fichier JSON à enregistrer.

Firefox 4 > Importation et sauvegarde > Sauvegarder

À voir aussi sur BlogZiNet : Où sont mes favoris dans Firefox ?