Prefs.js
aus FirefoxWiki, der freien Wissensdatenbank
| | Der korrekte Titel dieses Artikels lautet »prefs.js«. Leider ist dies aufgrund technischer Einschränkungen (http://de.wikipedia.org/wiki/Wikipedia:Benennungskonventionen_%28technische_Einschr%C3%A4nkungen%29) nicht möglich. |
In die Datei prefs.js werden alle Daten von about:config gespeichert. Sie befindet sich im Profilordner. Die Datei kann mit einem Texteditor oder der Erweiterung ChromEdit bearbeitet werden.
Der Aufbau der Datei ist mit dem der user.js, welche ebenfalls im Profilordner liegt, identisch.
Im Kopf der pref.js steht folgender Kommentar:
# Mozilla User Preferences /* Do not edit this file. * * If you make changes to this file while the browser is running, * the changes will be overwritten when the browser exits. * * To make a manual change to preferences, you can visit the URL about:config * For more information, see http://www.mozilla.org/unix/customizing.html#prefs */
Übersetzt heißt das ungefähr:
# Mozilla Benutzereinstellungen /* Diese Datei sollte nicht bearbeitet werden. * * Wenn Sie diese Datei verändern während der Browser läuft, * werden diese Anpassungen beim Beenden des Browsers wieder überschrieben. * * Um Änderungen an den Einstellungen vorzunehmen, geben Sie about:config in der Adresszeile ein * Mehr Informationen gibt es unter http://www.mozilla.org/unix/customizing.html#prefs */
Diese Information sollte unbedingt beachtet werden.
Siehe auch
- ChromEdit - Erweiterung zur Bearbeitung der userChrome.css, userContent.css, user.js und prefs.js
