Ceci est une ancienne révision du document !
Navigateur web Mozilla Firefox
Cette page présente des informations et propose des manipulations avancées du navigateur Firefox.
Avant toute chose, si vous découvrez Firefox sous Ubuntu, vous devriez consulter la page de l'utilisation courante de Firefox firefox_reecrit
Utilisation avancée
Gestion des profils/marques-pages
Mozilla Firefox enregistre les informations personnelles comme les marque-pages, la page d’accueil, certains mots de passe mais aussi les extensions, les thèmes, etc. dans un « profil ». Au premier lancement, un profil par défaut est automatiquement créé. Un profil est normalement associé à un répertoire dont le nom est un peu étrange ("xxxxx".nom_du_profil où "xxxxx" est un mélange de chiffres et de lettres. Par exemple: globzh7f.default). C'est dans le dossier caché $HOME/.mozilla/firefox que sont stockés ces profils.
Sauvegarder son profil
Pour sauver un profil, il suffit de le copier sur une clé USB par exemple, à l'aide de votre gestionnaire de fichiers.
Ajouter, supprimer ou renommer un profil
Firefox étant fermé, ouvrir un terminal et saisir la commande suivante :
firefox -ProfileManager
La fenêtre en anglais ci-contre apparaitra.
Partager son profil entre plusieurs ordinateurs
Voir les extensions de sauvegarde et synchronisation.
Partager son profil entre Ubuntu et Windows
Dans le cas d'un "dual boot" Windows/Ubuntu, il est intéressant de partager son profil entre les deux systèmes d'exploitation.
Voir ce tutoriel.