Comment et pourquoi créer un profil Firefox différent pour le développement Web
Article mis à jour du 25 mai 2008 : corrections de fautes et citation de l’extension Titlebar Tweaks au lieu de Firesomething
Je n’utilise plus beaucoup d’extensions pour Firefox car elles peuvent être la source de lenteur et de plantage du navigateur (si on en a trop, si elles sont mal codés, etc.). Pour ceux qui sont intéressé par les extensions pour Firefox et leurs conséquences, je vous conseille de lire un article publié sur Geckozone.org intitulé Le danger des extensions.
Cependant quand on fait du développement de site Web il y a de nombreuses extensions utiles dont on ne peut pas se passer. Par exemple Firebug, Web Developer, HTML Validator, etc. On en revient donc au problème du début, quand on ne développe pas ce serait mieux de désactiver ces extensions temporairement pour ne pas être gêné pendant notre surf. Une solution existe : créer un nouveau profil Firefox dédié au développement Web et le lancer uniquement en fonction des besoins. Ceux qui ont déjà essayé de le faire se sont peut-être déjà aperçu que Firefox n’autorise pas de lancer plusieurs profils à la fois. On verra comment corriger ce problème à la fin.
Première étape : créer un nouveau profil Firefox
Le profil est un dossier dans lequel sont stockés les paramètres personnels de l’utilisateur, notamment les extensions et thèmes. Vous trouverez plus d’informations dans l’article Comprendre le profil de Firefox, Thunderbird, Mozilla… publié sur geckozone.org.
Pour lancer le gestionnaire de profil il est impératif de quitter Firefox d’abord. Ensuite, la façon de le lancer dépend de votre système d’exploitation :
- Sous Windows il faut aller dans Démarrer > Exécuter puis entrer : firefox.exe -profilemanager ;
- Sous Linux il faut entrer firefox -profilemanager dans un terminal ;
- Sous MacOS X il faut entrer /Applications/firefox.app/Contents/MacOS/firefox -profilemanager dans le Terminal (qui lui même se trouve dans /Applications/Utilitaires/Terminal).
Le gestionnaire de profil s’affichera alors :
Pour créer un nouveau profil il suffit de cliquer sur Créer un profil
et de suivre les instructions. Vous pouvez le nommer DevWeb par exemple.
Deuxième étape : personnaliser ce nouveau profil
Démarrer maintenant sur ce nouveau profil tout en décochant Ne pas demander au démarrage
! En plus d’installer vos extensions favorites pour le développement Web, je vous conseille d’installer en plus :
- un thème Firefox différent de celui de votre profil habituel, pour distinguer les différents profils quand vous aurez les deux ouverts à la fois ;
- l’extension Titlebar Tweaks qui vous permettra de remplacer les références à “Mozilla Firefox” dans les fenêtres par ce que vous voulez.
DevWeb Fox
par exemple.
Quittez Firefox encore une fois et relancez le de manière habituelle. Le gestionnaire de profil apparaît si vous avez bien décoché Ne pas demander au démarrage
tout à l’heure, sélectionnez votre ancien profil et cette fois-ci cochez Ne pas demander au démarrage
. Maintenant votre profil de surf classique s’ouvrira par défaut, comme ce fut toujours le cas.
Troisième étape : pourvoir lancer le nouveau profil en même temps que celui du surf normal
Corrigeons le petit problème qui fait qu’on ne peut ouvrir qu’un profil Firefox à la fois.
Note : Dans les commentaires de l’article on m’a fait remarquer qu’il existe l’argument ”-no-remote” quand on lance Firefox en ligne de commande qui permet de s’affranchir de la déclaration de MOZ_NO_REMOTE. On m’ aussi fait découvrir l’extension Profile Switcher qui permet de passer plus facilement d’un profil à l’autre que la ligne de commande (enfin ça dépend de nos habitudes). C’est une alternative aux explications qui suivent.
Sous Linux
Il faut créer la variable d’environnement MOZ_NO_REMOTE et lui assigner la valeur 1. Le plus facile est de rajouter la ligne suivante en bas de votre fichier .bashrc qui se trouve dans votre dossier personnel ($HOME) :
export MOZ_NO_REMOTE=1
Pour ouvrir Firefox avec le profil DevWeb il suffira alors de taper dans la console : firefox -P DevWeb. Je vous encourage à créer un alias, dans ce même fichier .bashrc, en rajoutant la ligne :
alias fxweb=’firefox -p DevWeb’
Comme ça vous n’aurez plus à taper que fxweb pour lancer votre Firefox dédié au développement Web, que l’autre soit déjà ouvert ou non.
Sous Windows
Comme sous Linux, il faut créer cette fameuse variable MOZ_NO_REMOTE avec une valeur à 1. Il y a plusieurs solutions.
Je vous conseille d’utiliser le script batch suivant qui est à copier dans un fichier .bat pour lancer directement le profil Web de Firefox :
cd /d “C:\Program Files\Mozilla Firefox”
set MOZ_NO_REMOTE=1
start firefox.exe -P DevWeb
Pour créer ce fichier, copiez/collez ces trois lignes dans le bloc-notes et lors de l’enregistrement nommez le DevWeb.bat !
L’avantage de l’utilisation du fichier .bat, c’est qu’il ne fixe pas de façon globale et permanente la variable MOZ_NO_REMOTE pour tout le système.
La deuxième solution consiste à fixer cette valeur définitivement. Pour se faire, faites un clic droit sur le Poste de travail puis allez dans l’onglet Avancé
. En bas se trouve un bouton Variables d’environnement
. Cliquez dessus, et dans la boîte de dialogue qui apparaît, rajoutez MOZ_NO_REMOTE avec une valeur à 1. Cette démarche est valable pour Windows XP, je ne sais pas ce qu’il en est de Windows Vista.
Sous MacOS X
La démarche est la même que sous Linux, en théorie du moins. De ma propre expérience, j’ai constaté que mon MacOS X 10.5 ne tenait pas compte de mes modifications dans le fichier ~/.bashrc alors j’ai modifié le fichier /etc/bashrc à la place.
Conclusion
Ça y est vous pouvez enfin avoir deux profils Firefox distincts pour votre surf classique et le développement Web. Tant que vous y êtes je vous encourage à recréer un nouveau profil pour votre surf normal. En effet, désinstaller les extensions consacrées au développement Web ne rendra pas pour autant une jeunesse totale à votre profil. Pour savoir comment faire ça proprement, direction Geckozone.org : Nettoyer un profil Firefox.