User.js
aus FirefoxWiki, der freien Wissensdatenbank
| Der korrekte Titel dieses Artikels lautet »user.js«. Leider ist dies aufgrund technischer Einschränkungen (http://de.wikipedia.org/wiki/Wikipedia:Benennungskonventionen_%28technische_Einschr%C3%A4nkungen%29) nicht möglich. |
Mit dieser Datei können Sie verschiedene Einstellungen im Firefox bearbeiten. Da die Datei nicht standardmässig vorhanden ist, muss sie manuell im Profilordner erstellt werden.
Dafür muss man mit einem Texteditor (unter Windows z. B. Notepad; Start > Programme > Zubehör > Editor) eine Datei erstellen und mit dem Namen "user.js" abspeichern.
Mit der Erweiterung ChromEdit wird die Datei "automatisch" erstellt und lässt sich bequem bearbeiten.
Inhalt
Kommentare werden mit "//" am Anfang einer Zeile markiert. Diese Bereiche werden von Firefox nicht bearbeitet. Eine Codezeile besteht aus user_pref, dann in Klammern mit Anführungsstrichen erst der Name der Einstellung (der auch in about:config eingegeben und bearbeitet werden kann). Als nächstes folgt nach einem Komma der Wert der Funktion. Strings (Text) werden dabei in Anführungsstrichen geschrieben, Boolean- (TRUE oder FALSE) und Integer-Werte (Zahlen) werden dagegen ohne Gänsefüßchen geschrieben. Am Ende muss ein Semikolon ";" gesetzt werden.
Beispiele:
//Startseite
user_pref("browser.startup.homepage", "http://www.mozilla.org");
//Suche an
user_pref("accessibility.typeaheadfind", true);
//Cache
user_pref("browser.cache.disk.capacity", 50000);
Siehe auch
- ChromEdit - Erweiterung zur Bearbeitung der userChrome.css, userContent.css, user.js und prefs.js
- Webseiten verändern - mögliche Anpassungen von Webseiten per user.js
