Modifier les préférences avancées
En plus des options de configuration disponibles via le menu Outils -> Options (Edition -> Préférences sous Linux), il existe d’autres options cachées aussi bien sous Firefox et Thunderbird que dans la suite Mozilla. Cet article va vous permettre de comprendre où sont stockées ces options cachées et comment les modifier.
Une préférence est une valeur ou un comportement du programme qui peut-être modifié. Les préférences modifiées via l’interface utilisateur (via le panneau d’Options) prennent généralement effet immédiatement et sont sauvegardées dans le fichier prefs.js contenu dans votre profil. Cependant il est fortement déconseillé d’éditer ce fichier, préférez utiliser le fichier user.js.
Le fichier user.js se trouve dans votre dossier de profil, tout comme prefs.js mais il n’est pas créé par défaut. S’il n’existe pas encore, créez simplement un fichier texte avec un éditeur de texte comme par exemple le Bloc-Notes, emacs ou vi, et sauvegardez le sous le nom user.js. Vérifiez bien qu’il se trouve dans le même dossier que le fichier prefs.js.
Que ce soit Firefox, Thunderbird, la suite Mozilla ou Nvu, les logiciels Gecko ne modifient jamais le contenu du fichier user.js. À l’inverse, le contenu du fichier prefs.js est fréquemment mis à jour. Si vous modifiez directement le fichier prefs.js il est possible qu’au prochain lancement de l’application vos modifications disparaissent.
Remarque : vous pouvez aussi changer vos préférences via le panneau about:config, dans ce cas vos modifications seront directement enregistrées dans le fichiers prefs.js mais nous y reviendrons plus tard.
Pour annuler des modifications faites par le fichier user.js vous ne pouvez pas simplement supprimer les préférences insérées dans ce fichier car elles restent sauvegardées dans le fichier prefs.js. Il vous faudra donc aussi supprimer l’entrée dans le fichier prefs.js via un éditeur de texte ou en utilisant about:config.
À quoi ressemble user.js ?
Vos préférences doivent utiliser la fonction « user_pref » comme écrit dans l’exemple ci-dessous.
Vous pouvez écrire des commentaires dans le fichier user.js pour décrire son contenu, comme n’importe quel fichier JavaScript. Pour créer un commentaire, il faut sauter une ligne et précéder votre texte par deux slashes : //. Si votre commentaire tient en plusieurs lignes, il faut précéder chaque ligne de deux slashes ou cadrer votre texte par les symboles /* et */.
Voici quelques exemples de préférences ainsi que leur fonction. Ils peuvent être copiés tels quels dans votre fichier user.js.
// Autorise les images trop grandes à se rétrécir. (seulement pour Firefox et la suite Mozilla).
// Le redimensionnement d'image est utilisé si l'image affichée est plus large que la fenêtre du navigateur.
// Valeur par défaut : false
user_pref("browser.enable_automatic_image_resizing", true);// Complète automatiquement le texte tapé dans la barre d'adresse.
// Valeur par défaut : true (Le navigateur essaye automatiquement de compléter ce que vous tapez dans la barre d'adresse)
user_pref("browser.urlbar.autocomplete.enabled", true);Comme vous le voyez, les lignes permettant de modifier une préférence sont de cette forme : user_pref("browser.urlbar.autocomplete.enabled", true) ;
La commande user_pref() - ici en bleu - accepte deux arguments séparés par une virgule. Le premier argument - en rouge - est le nom de la préférence, qui doit être mis entre guillemets. Ensuite, le deuxième argument - en violet - peut être de trois formes :
Un booléen : on peut mettre soit true soit false, (c’est-à-dire soit vrai soit faux) ;
Un entier : on ne peut mettre que des nombres entiers, généralement positifs ou nuls mais pas forcément. Exemples : -1, 0, 1, 2, etc. ;
Une chaîne : on peut mettre n’importe quelle suite de caractères, souvent il faut que ce soit une URL. Exemple : http://www.geckozone.org ;
about:config
Maintenant que vous connaissez la syntaxe des préférences, passons à l’autre méthode où l’on doit utiliser about:config. C’est une adresse spéciale, que vous devez taper dans la barre d’adresse au lieu de celle d’un site web.
Faites-le et la liste des préférences cachées apparaît.
Si des préférences sont en gras, c’est que leurs valeurs ne sont pas celles par défaut. Il est possible qu’elles aient été modifiées par des changements dans le panneau d’Options ou par des extensions.
Pour modifier une préférence il vous suffit de faire un clic-droit dessus, de cliquer sur « Modifier » dans le menu qui apparaît... Ou plus simple, effectuez un double-click sur la ligne et la fenêtre de modification apparaîtra s’il s’agit d’une chaîne ou d’un entier. Pour une valeur booléenne, le double-click l’inversera.
...puis de changer la valeur et d’appuyer sur « OK ».
Certaines préférences nécessitent de relancer le logiciel pour prendre effet.
Lorsque vous souhaitez supprimer une préférence, qui n’est pas d’origine, vous pouvez cliquer-droit sur celle-ci puis Réinitialiser, elle se vide alors de sa valeur et au redémarrage du logiciel elle aura disparu.
Thunderbird 1.0.x ne permet pas de voir cette liste de préférences, bien qu’elle existe. Pour la faire apparaître il vous faudra installer une extension : About:config. Cette extension fonctionne également pour Nvu. Thunderbird 1.5 le permettra sans avoir à installer une extension.
Le mot de la fin
Ne modifiez pas au hasard les préférences. Une mauvaise manipulation peut rendre instable votre application voire la rendre inutilisable. De nombreuses listes de ces préférences sont disponibles en anglais sur le net :
About:config entries (le plus complet)
A brief guide to Mozilla preferences
List of preferences and what they do
Networking Preferences
Articles dans la même rubrique
- Un dictionnaire français intégré par défaut dans Firefox, Thunderbird et Seamonkey (8 février 2008 - 9259 visites - popularité 6%)
- Déplacer un profil Firefox ou Thunderbird (16 juillet 2007 - 29020 visites - popularité 8%)
- Le mode sans échec, ou safe mode, pour Firefox et Thunderbird (13 février 2007 - 29642 visites - popularité 5%)
Commentaires
(Si vous recherchez de l'aide pour l'utilisation d'un produit, veuillez utiliser les forums de Geckozone. Les commentaires concernent uniquement l'article. Merci.)
Afficher les commentaires (14) Ajouter un commentaire
> Olab : « Que veux-tu dire par mettre des astuces en cadres flottants ? Quelles astuces ? »
C’est que je trouvais que parfois les articles étaient un peu monolithiques. Mettre les remarques ou les astuces hors du texte principal dans des cadres pourrait les rendre plus attrayant. C’est juste une idée comme ça en passant. C’est assez simple à mettre en œuvre avec des div flottantes à largeur fixe ou proportionnelle.
« C’est indiqué. » : « au rédémarrage »
redémarrage
+ de Firefox, pour lever l’ambiguïté...
« double-click » généralement on écrit double-clic en français...
> BatBat : Thomas est impardonnable sur ce coup. J’ai corrigé
> Mozinet : C’est indiqué. Que veux-tu dire par mettre des astuces en cadres flottants ? Quelles astuces ?
> Olab : « Si tu cliques sur une préférence d’une extension par exemple (donc qui n’appartient pas à FF), et que tu fais click-droit > Réinitialiser, elle se vide et au rédémarrage elle disparait du prefs.js »
Merci du truc, ça me servira à virer les entrées obsolètes que je rencontre en navigant pour autre chose dans about :config
Tu devrais peut-être l’indiquer dans le tuto.
Vous pourriez aussi étudier la possibilité de mettre les astuces dans de petits cadres flottants pour alléger la lecture du texte...
« Il vous faudra donc aussi supprimer l’entrée dans le fichier prefs.js via un éditeur de texte ou en utilisant about :config. »
Êtes-vous sûr que l’on puisse supprimer une préférence dans la fenêtre d’about :config ?
Le vert n’est pas très lisible, à mon avis.
Peut-être pourriez-vous rajouter l’astuce d’about :config qui permet en double-cliquant sur une ligne ou en pressant sur Entrée de basculer automatiquement une valeur booléenne ou d’ouvrir la boîte de modification d’une chaîne et d’un entier.
Mozinet
