Cette page n'a pas encore d'étiquettes.
Apportez votre aide…

Ceci est une ancienne révision du document !


PAGE EN COURS DE REDACTION

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

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.

firefox_profil_manager.jpg

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.

Gestion des moteurs de recherche

Firefox possède une « barre de recherche », située en haut à droite dans Firefox, repérable par l'icône en forme de loupe. Pour l'utiliser, il suffit de saisir des mots-clés dans la barre de recherche, puis appuyer sur la touche « Entrée » ou cliquer sur la loupe.

Changer de moteur de recherche

Par défaut, Firefox possède comme moteur de recherche principal Google. Celui-ci peut être modifié en cliquant sur l'icône de la barre de recherche1) puis en sélectionnant le moteur voulu dans la liste.

Ajouter des moteurs de recherche

Pour ajouter des moteurs de recherche, vous pouvez par exemple vous rendre sur la page d'accueil de votre moteur de recherche préféré, puis si l'icône de la barre de recherche de Firefox change de couleur, cliquez dessus puis sur «Ajouter le moteur …» en bas de la liste.

Une autre solution est de rechercher votre moteur de recherche sur l'annuaire MyCroft.

Exemples de moteurs de recherches généraux (alternatives à Google):

Autres exemples :

Enfin, vous avez également la possibilité de créer facilement vos propres moteurs de recherche en installant l'extension OpenSearchFox (disponible avec Firefox 3.2 et ultérieurs).

Supprimer des moteurs

Vous pouvez supprimer des moteurs de recherche en cliquant sur l'icône de la barre de recherche, puis «Gérer les moteurs de recherche».

Aide et manipulations


1)
ou bien en changeant la variable « keyword.URL » dans « about:config »
  • firefox_avance.1273150479.txt.gz
  • Dernière modification: Le 18/04/2011, 14:41
  • (modification externe)