user.js et prefs.js : personnaliser les réglages de Mozilla Firefox

Bloqueur de pub détectée - Vous bloquez l'affichage des publicités.
Pour soutenir le site, merci de bien vouloir laisser les publicités s'afficher.

Plus d'informations : Comment désactiver les bloqueurs de publicité sur un site internet.

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.

user.js et prefs.js : personnaliser les réglages de Mozilla Firefox
user.js et prefs.js : personnaliser les réglages de Mozilla Firefox

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.

Les paramètres de user.js priment sur ceux de prefs.js.
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.
Comment ouvrir user.js ou prefs.js
  • 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.
Comment ouvrir user.js ou prefs.js
  • Il s'ouvre alors sur l'éditeur de texte pré-définis.
Comment ouvrir user.js ou prefs.js
Bravo ! vous avez réussi à accéder à prefs.js ou user.js de Firefox pour modifier le contenu.

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}]");
C'est exactement le même principe que le about:config de Firefox ou encore de la base de registre de Windows.

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 :

Vous avez trouvé cet article utile et interressant, n'hésitez pas à le partager...

Trouver la solution sur le forum d'aide

Vous êtes arrivé au terme de l'article user.js et prefs.js : personnaliser les réglages de Mozilla Firefox mais vous n'avez pas trouvé la solution à votre problème...
Suivez ces articles du forum pour trouver une réponse ou demandez à votre tour de l'aide sur le forum

Tags: