Tuto #2 : Comment importer et exporter ses favoris Mozilla Firefox
Bonjour à tous,
Aujourd’hui, nous allons étudier l'exportation et l'importation des favoris du navigateur Mozilla Firefox.
Exportation des marque-pages ou favoris
- Ouvrez le navigateur Mozilla Firefox.
- Appuyez sur l’icône en forme de carnet à côté de l'étoile dans la barre d'adresse.
- . Appuyez sur "Afficher tous les marque-pages".
- Allez sur l'onglet "Favoris"
- Une fenêtre intitulée "Bibliothèque" s’ouvre.
- Appuyez sur "Importation et sauvegarde".
Si vous choisissez « Sauvegarder, vous allez créer un
fichier .json (JavaScript Object Nation), qui vous sauvegardera tous vos
favoris ou marque-pages sur un fichier uniquement utilisable sur Mozilla
Firefox et le bouton « Restaurer » vous permettra de charger le
fichier préalablement enregistré au format .json .
n 7. Appuyons donc sur Exporter des marque-pages ou
favoris au format HTML.
8. Choisissez un nom de fichier et un dossier
simple à retenir.
9. Puis enregistrer.
Vos favoris sont sauvegardés dans le fichier préalablement enregistré .
Importation des marque-pages ou favoris
- Ouvrez le navigateur Mozilla Firefox.
- Appuyez sur l'icône en forme de carnet dans la barre d'adresse.
- Appuyez sur "Afficher tous les marque-pages".
- Allez sur l'onglet "Favoris".
- Une fenêtre intitulée "Bibliothèque" s'ouvre.
- Appuyez toujours sur "Importation et sauvegarde".
- Appuyons donc sur Importer des marque-pages ou favoris au format HTML.
- Choisissez votre fichier préalablement enregistré.
- Puis Ouvrir.
Vos favoris Mozilla Firefox sont chargés et apparaissent dans votre barre de favoris.
Si toutefois, après toutes ces manipulations, quelque chose ne fonctionne pas alors répétez chaque opération une à une.
Tutoriel vidéo :
Voilà, ça sera tout pour aujourd’hui, à bientôt pour un nouveau tuto informatique de Depann'Info 06 et n’oubliez pas le pouce bleu.
Aucun commentaire:
Enregistrer un commentaire