Gestion des profils
Si vous utilisez Internet chez vous et au travail, vous souhaiterez peut-être accéder à différents jeux de marque-pages, préférences, carnets d'adresses, comptes de messagerie, configuration de barre latérale, etc. De même, les différents membres de votre famille peuvent vouloir partager une copie du même navigateur mais conserver leurs identités Internet séparées.
Le gestionnaire de profils permet de créer différents profils, chacun avec ses propres marque-pages, préférences, paramètres de messagerie, etc. Un profil par défaut est créé automatiquement lors de la première installation de votre logiciel de navigation. Après avoir créé un ou plusieurs profils supplémentaires, vous serez invité à préciser celui que vous souhaitez utiliser à chaque démarrage du navigateur.
Créer un nouveau profil
Pour créer un profil :
- Quittez le navigateur. Il n'est pas possible de créer un nouveau profil tant que le navigateur, le courrier ou un autre composant de votre logiciel de navigation est actif.
- Ouvrez le gestionnaire de profils :
- Sous Windows, ouvrez le menu « Démarrer », choisissez « Programmes » puis « Mozilla » et sélectionnez « Gestionnaire de profils » (Profile Manager).
- Sous Mac OS, ouvrez le dossier de Mozilla puis double-cliquez sur « Gestionnaire de profils » (Profile Manager).
- Sous Linux, dans le répertoire d'installation de Mozilla, rentrez la commande suivante, en mode ligne de commande : ./mozilla -profilemanager.
- Cliquez sur « Créer un profil », lisez sa description puis cliquez sur « Suivant ».
- Rentrez un nom de profil. Il peut être votre véritable nom, un surnom ou un nom associé à l'usage du profil, comme « École ».
- Acceptez le répertoire par défaut pour le nouveau profil, ou cliquez sur le bouton « Changer de dossier » pour choisir un autre répertoire.
- Si des modules linguistiques ou de contenu régional sont installés, cliquez sur « Sélection de la région » et choisissez la langue et/ou le contenu désiré.
- Cliquez sur « Terminer ».
Vous revenez alors à l'écran principal du gestionnaire de profils, avec le nouveau profil en surbrillance dans la liste des profils.
Supprimer ou renommer un profil
Vous souhaitez supprimer des profils dont vous n'avez normalement pas l'usage. Pour supprimer ou renommer un profil :
- Quittez le navigateur. Il n'est pas possible de créer, supprimer ou renommer un profil tant que le navigateur, le courrier ou un autre composant de votre logiciel de navigation est actif.
- Ouvrez le gestionnaire de profils :
- Sous Windows, ouvrez le menu « Démarrer », choisissez « Programmes » puis « Mozilla » et sélectionnez « Gestionnaire de profils » (Profile Manager).
- Sous Mac OS, ouvrez le dossier de Mozilla puis double-cliquez sur « Gestionnaire de profils » (Profile Manager).
- Sous Linux, dans le répertoire d'installation de Mozilla, rentrez la commande suivante, en mode ligne de commande : ./mozilla -profilemanager.
- Pour supprimer un profil, sélectionnez son nom puis cliquez sur « Supprimer ».
- Pour renommer un profil, sélectionnez son nom, cliquez sur « Renommer » un profil et suivez les instructions.
18 juin 2002
Copyright © 1994-2002 Mozilla Organization.
Dernière traduction : 5 avril 2003
Ce texte a été traduit et adapté par une équipe internationale de bénévoles francophones.
Pour plus d'informations, visitez notre site : http://www.frenchmozilla.org.