Les profils Firefox

Sous Firefox, il est possible de créer différents profils sur un seul compte utilisateur, avec chacun son propre historique,ses propres favoris, ses propres plug-ins et ses propres paramétrages


ça peut servir à dépanner en cas ou vous auriez foiré votre profil par défaut, mais rien n’empêche d’utiliser les profils d’êtres paramétrés pour des usages différents, un profil maison et un profile école/boulot avec un proxy paramétré sur le second par exemple, histoire ne pas devoir activer/désactiver le proxy à à longueur de temps, ce qui devient très vite chiant

Une fois les profils crées, Firefox démarrera à chaque fois sur la fenêtre de choix de profils (ProfileManager) sauf si on indique le contraire quand on souhaite utiliser un profil par défaut en réservant l’autre (les autres) profil(s) à un usage très occasionnel, en lançant le ProfileManager manuellement au besoin

Pour lancer le ProfileManager, il faut ouvrir un terminal et taper firefox -ProfileManager ou firefox -P avec l’utilisateur pour lequel on veut créer les profils

Il suffit ensuite de cliquer sur Create Profile…, de cliquer sur Next, de donner un nom au profil crée et de valider avec le bouton Finish
Il reste plus qu’à vérifier l’état de la case Don’t ask at startup pour choisir si on veut que le ProfileManager se lance à chaque fois (case décochée) ou non (case cochée), et de personnaliser les Profils crées

On peut aussi choisir le dossier où seront stockés les paramètres de l’utilisateur, préférences et autres données propres à l’utilisateur avec le bouton Choose Folder juste avant de valider
Le dossier par défaut des différents profils est ~/.mozilla/firefox c’est à dire /home/username/.mozilla/firefox
Chaque profil à un dossier dont le nom est sous la forme <valeur_aléatoire>.NomProfil

Le fichier profiles.ini définit certains paramètres, notamment les noms des profils et le chemin d’accès vers leurs dossiers respectifs ainsi que le paramètre StartWithLastProfile=0, qui comme son l’indique permet de dire à Firefox de se lancer par défaut sur le dernier profil utilisé
Pour changer de profil, il faudra lancer manuellement le ProfileManager

Leave a Reply

Your email address will not be published. Required fields are marked *