Profil – user.js

Le « profil » est un dossier qui contient de nombreuses données qui sont spécifiques à votre usage de certains logiciels, en particulier Firefox et Thunderbird (voyez la page Quelques logiciels libres).

NB : en 2016, Debian a pu reprendre les noms Firefox et Thunderbird. Ainsi, Iceweasel et Icedove n’ont plus cours du tout depuis la sortie de la version stable Debian 9 (Stretch) en juin 2017.

Debian fournit Firefox-ESR (version longue durée qui change une fois par an environ) tandis qu’Ubuntu fournit Firefox Release (la version classique qui change très souvent).

Profil caché

Le profil de Firefox est un dossier caché que vous trouverez dans votre dossier personnel. Pour un nom d’utilisateur·trice « tuxou », le profil par défaut de Firefox ou de Firefox-ESR (mais pas pour TorBrowser) est là :
~/.mozilla/firefox/xxxx.Default User
Ce qui peut s’écrire aussi comme ceci :
~/.mozilla/firefox/xxxx.Default User
Le point au début du nom du dossier .mozilla indique que le dossier est caché. Cela permet d’éviter de supprimer ce dossier trop facilement (par erreur) et de ne pas le montrer systématiquement dans le gestionnaire de fichier.
Les xxxx remplacent les caractères aléatoires qui désignent votre profil (chiffres et lettres).

Le profil de Thunderbird est là :
/home/tuxou/.thunderbird/xxxx.Default User

Ajouter, supprimer, renommer un profil

Il est possible d’ajouter, de supprimer ou de renommer un profil de Firefox ou de Thunderbird. Pour afficher le gestionnaire de profil, il suffit d’une simple commande dans le terminal, selon votre version de Firefox :

$ firefox -p

ou

$ firefox-esr -p

Si vous avez plusieurs profils, vous pouvez lancer Firefox sur tel ou tel profil. Même commande que ci-dessus, puis choisissez le profil souhaité. Quand vous quitterez Firefox, le terminal se fermera. Si vous fermez le terminal avant de quitter Firefox, celui-ci se fermera.

Vous pouvez aussi lancer Firefox sur un profil particulier existant, par exemple, le profil mjgkjxww.tuxet :

$ firefox-esr -p tuxet

Si le fichier profiles.ini contient les bonnes informations dans le dossier ~/.mozilla/firefox, ce qui est le cas en principe.

Afficher des informations de son ou ses profils

Pour une vue d’ensemble des profils depuis Firefox lui-même, tapez about:profiles dans la barre de l’URL de Firefox

Emporter ou sauvegarder son profil

Le profil de Firefox contient de nombreuses données : vos marque-pages, les modules que vous avez ajoutées, tous vos paramétrages (les « Préférences » de Firefox ainsi que les paramètres des modules).

Au minimum, il faut sauvegarder vos marque-pages, par l’intermédiaire de la fenêtre des marque-pages dans Firefox. Vous pouvez les importer ensuite dans n’importe quelle version de Firefox. Mais vous pouvez transporter tout votre profil si vous installez Firefox sur un autre ordinateur, par exemple.

Le profil de Thunderbird contient tous vos mails ainsi que vos boîtes mail et tous les paramètres que vous avez choisis dans les «Préférences« et dans les «Comptes» de Thunderbird. Si vous installez Thunderbird sur un autre ordinateur, vous pouvez conserver et coller le profil avant de lancer votre tout nouveau Thunderbird. Vous retrouverez tous vos messages et vos boîtes à lettres (vos « comptes »).
Si vous avez ajouté un module, il sera également dans votre « profil ».

Dans le profil, les préférences

En modifiant les Préférences de Firefox dans le navigateur lui-même, vous modifiez, sans avoir à l’ouvrir, un fichier qui se trouve dans le profil sous le nom prefs.js.

Vous pouvez modifier plus avant les préférences de Firefox en tapant about:config
dans la barre de l’URL du navigateur. Vos modifications vont également s’inscrire dans le fichier prefs.js.

Il est possible de modifier un certain nombre d’éléments directement. Pratiquement toutes les modifications sont effectives sur le champ sans devoir fermer et relancer le navigateur. Vous pouvez ainsi tester vos modifications et les supprimer facilement.

Le fichier user.js

Il peut être utile de faire un fichier user.js, pour pouvoir conserver des modifications. En effet, Firefox ne touche pas à ce fichier qui complète alors le fichier pref.js.

Il est conseillé de garder une copie de user.js dans un autre dossier.

Si votre profil est supprimé, pour une raison ou pour une autre, vous perdez le fichier prefs.js et donc les paramètres que vous avez choisis en passant par la page about:config.

Le fichier user.js est utile aussi si vous voulez partager vos paramètres spéciaux avec d’autres internautes. Vous pouvez transmettre le fichier complet et l’utiliser sous différents OS. En revanche, le fichier prefs.js contient des informations qui ne concernent que votre configuration et ne peut donc pas être partagé tel quel, sans être modifié.

Pour faire ce fichier, il suffit d’ouvrir un éditeur de texte et d’enregistrer un nouveau fichier (même vide) sous le nom user.js, dans le profil, dans le même répertoire que celui de pref.js.