user.js et prefs.js sont deux fichiers de configuration que l’on trouve dans le profil utilisateur de Mozilla Firefox.
Il stockent et permettent de modifier la configuration de l’utilisateur.
Par exemple en important un fichier user.js d’un profil à l’autre, vous pouvez importer une configuration pour Firefox.
Cela est très pratique pour appliquer des paramètres utilisateurs.
Cet article vous explique les différences et le fonctionnement de ces fichiers user.js et prefs.js de Mozilla Firefox.
Table des matières
user.js et prefs.js : personnaliser les réglages de Mozilla Firefox
Quelles différences entre user.js et prefs.js
prefs.js est le fichier dans lequel Firefox stocke les préférences, les paramètres et l’état persistants.
Ce fichier de configuration a tendance à être rempli d’informations sur l’état et les paramètres généraux.
Lorsque vous modifiez des valeurs about:config, Firefox les stocke dans ce fichier.
Firefox lit prefs.js une fois au démarrage, applique les préférences et peut le réécrire à tout moment.
user.js n’existe pas par défaut et Firefox ne modifie jamais le contenu.
L’utilisateur doit le créer avec éditeur de texte.
Toute préférence que vous définissez dans user.js sont également copiées dans prefs.js.
Aussi au démarrage Firefox, copie les données user.js dans prefs.js puis applique ce dernier.
En résume :
- prefs.js stocke les configurations de Mozilla Firefox et les paramètres et options établies sur le navigateur WEB.
- user.js est un fichier que l’on peut éditer que manuellement.
- Au démarrage de Firefox la configuration user.js est copié dans prefs.js puis Firefox charge ce dernier. Ainsi user.js prime toujours sur prefs.js.
- De ce fait, si vous modifiez une valeur depuis Firefox mais qui est présente dans user.js, vous perdez la modification au prochain démarrage du navigateur internet.
On peut donc utiliser user.js pour forcer des paramètres et importer une configuration prédéfinie.
Comment ouvrir user.js ou prefs.js
Voici une méthode pour accéder et ouvrir les fichiers de configuration du profil utilisateur de Firefox.
- Ouvrez un nouvel onglet dans Mozilla Firefox
- Puis dans la barre d’adresse, saisissez about:profiles
- Un ou plusieurs profils peuvent s’afficher.
- Chercher celui avec la mention « Il s’agit du profil en cours d’utilisation« .
- Sur ce dernier cliquez sur « ouvrir le dossier » dans Répertoire racine.
- Les fichiers du profil utilisateur s’ouvre. Le fichier prefs.js est alors présent et peut-être user.js.
- Un clic droit puis Modifier permet d’éditer ce dernier.
- Il s’ouvre alors sur l’éditeur de texte pré-définis.
Les syntaxes de user.js et prefs
La syntaxe des deux fichiers est identique.
Elle prend la forme suivante :
user_pref("NomDelaClé","Valeur");La valeur prend alors trois types différents :
- Boolean que l’on peut régler par True pour (vrai) ou False (faux). Cela permet d’activer ou non une fonctionnalité
- Nombre : pour régler une valeur sur une quantité par exemple.
- Chaîne : une valeur avec une chaîne de caractère. Par exemple un chemin ou une URL.
Voici un exemple avec trois clés qui ont ces trois types.
user_pref("accessibility.typeaheadfind.flashBar", 0);
user_pref("app.normandy.first_run", false);
user_pref("browser.newtabpage.pinned", "[{\"url\":\"https://amazon.com\",\"label\":\"@amazon\",\"searchTopSite\":true}]");user.js pour se protéger du pistage et tracking sur internet
A titre d’exemple, un article du site explique comment installer un fichier user.js pour bloquer les trackers et le pistage sur internet.
Vous trouverez des exemples de paramètres sur les pages suivants :