Firefox und Thunderbird haben in kürzester Zeit auf allen gängigen Plattformen zu beliebten und viel genutzten Tools entwickelt. Viele Anwender wissen jedoch nicht, dass sich die beiden Mozilla-Produkte sehr genau an die individuellen Wünsche anpassen lassen. Die Ursache: Viele der nützlichen Funktionen erreicht man nicht direkt über die Programmoberfläche, sondern muss Sie mittels eines Konfigurationseditors oder in Textdateien bearbeiten.
Die wichtigsten Einstellungen legen alle Mozilla-Produkte in vier Textdateien ab (Tabelle "Mozilla-Konfigurationsdateien"). Einige dieser Dateien existieren unter Umständen direkt nach der Installation einer Anwendung noch nicht, sodass Sie sie nachträglich angelegen müssen. Bitte beachten Sie dabei unbedingt die genaue Schreibweise der Dateinamen sowie die Tatsache, dass in einigen Fällen ein Neustart des betreffenden Programms anfällt, um die geänderten Optionen zu aktivieren. Übrigens legen auch fast alle Erweiterungen ihre Einstellungen in den genannten Dateien ab.
Mozilla-Konfigurationsdateien
| Datei | Typ | Bemerkung |
|---|---|---|
prefs.js
|
Standard-Konfigurationsdatei | Konfiguration via Benutzeroberfläche |
user.js
|
Benutzerdefiniert | Vorrang vor prefs.js, alle Einträge werden beim nächsten Programmstart in prefs.js übernommen
|
userChrome.css
|
Benutzerdefiniert | Erscheinungsbild des Programms |
userContent.css
|
Benutzerdefiniert | Erscheinungsbild von E-Mails und Webseiten |
Nach der Installation von Firefox oder Thunderbird finden sich die als Beispiele gedachten CSS-Dateien userContent-example.css und userChrome-example.css in den Mozilla-Verzeichnissen (siehe Abschnitt "Konfigurationsvarianten"). Sie brauchen also für Experimente keine neue Dateien einzutippen, sondern kopieren die Beispieldateien nach userContent.css respektive userChrome.css, um Änderungen vorzunehmen.
Konfigurationsvarianten
Wie bei den meisten Linux-Anwendungen gibt es auch bei Firefox und Thunderbird die Möglichkeit, Einstellungen sowohl für den einzelnen Benutzer als auch global für alle Benutzer vorzunehmen. Benutzerspezifische Settings genießen gegenüber den globalen Einstellungen Vorrang; die globalen Einstellungen gelten für alle Benutzer, die noch kein eigenes Profil erzeugt haben (was regelmäßig mit dem ersten Programmstart erfolgt). Nachträgliche Änderungen an der globalen Konfiguration reicht das System nicht zwangsläufig auch die benutzerspezifischen Profile durch. Als Systemadministrator haben Sie die Möglichkeit, bestimmte Einstellungen zu sperren, sodass die Benutzer sie nicht mehr verändern können. Die Konfigurationsdateien liegen je nach verwendeter Distribution in verschiedenen Pfaden. Die Tabelle "Ort der Konfigurationsdateien" listet die Pfade am Beispiel von Ubuntu auf. Um die Pfade für andere Distributionen herauszufinden, suchen Sie am besten nach der Datei prefs.js.
Ort der Konfigurationsdateien
| systemweit (global) | benutzerspezifisch |
|---|---|
| JS-Dateien | |
/etc/firefox/profile
|
~/.mozilla/firefox/Profilname
|
/etc/thunderbird/profile
|
~/.mozilla-thunderbird/Profilname
|
| CSS-Dateien | |
/etc/firefox/profile/chrome
|
~/.mozilla/firefox/Profilname
/chrome
|
/etc/thunderbird/profile/chrome
|
~/.mozilla-thunderbird/Profilname
/chrome
|
<C>about:config<C>
Mit dem Konfigurationseditor bieten die Mozilla-Programme eine einfache Möglichkeit, viele versteckte Optionen direkt im Programm einzustellen. In Firefox tippen Sie in die Adresszeile einfach about:config ein. Daraufhin öffnet sich das Fenster des Konfigurationseditors (Abbildung 1), das alle verfügbaren Einstellungen auflistet.
Nach einem Doppelklick auf den gewünschten Eintrag verändern Sie diesen nach Belieben: Entweder geben Sie einen neuen Wert ein oder wechseln zwischen den Optionen true und false (Abbildung 2). Den Vorgabewert stellen Sie wieder her, indem Sie eine Einstellung auswählen, mit der rechten Maustaste darauf klicken und Zurücksetzen wählen.
In Thunderbird wählen Sie zum Aufruf des Konfigurationseditors den Menüpunkt Bearbeiten | Einstellungen aus (je nach Distribution/Version auch Extras | Einstellungen...), öffnen den Punkt Erweitert und dort die Registerkarte Allgemein. Den Konfigurationseditor erreichen Sie durch einen Klick auf den Knopf Konfiguration bearbeiten... (Abbildung 3).
Zwar bietet der Konfigurationseditor Zugriff auf fast alle Einstellungen des benutzerspezifischen Profils, kann jedoch nicht die systemweiten Vorgaben modifizieren. Zudem berücksichtigt er nur die Datei prefs.js – für Änderungen in users.js, userChrome.css und userContent.css müssen Sie nach wie vor selbst Hand anlegen. Dafür lassen sich andererseits auch Add-Ons mit seiner Hilfe konfigurieren; Deren Einstellmöglichkeiten erscheinen in der Regel im Dialog about:config, meistens mit dem Präfix extensions.. So legt Enigmail seine Einstellungen etwa unter extensions.enigmail ab.
Editieren der Konfigurationsdateien im Texteditor
Der Konfigurationseditor stellt die einfachste, sicherste und bequemste Möglichkeit dar, Einstellungen an Mozilla-Applikationen vorzunehmen. Allerdings lassen sich manche Optionen nur durch Modifizieren der entsprechenden Konfigurationsdatei per Texteditor verändern. Die einzelnen Einträge folgen dem Schema
user_pref("Option
", Wert
);Für den Wert kommen je nach Art und Funktion der betreffenden Option folgende Einträge infrage:
trueoderfalse:user_pref("browser.xul.error_pages.enabled", true);- eine Ganzzahl:
user_pref("nglayout.initialpaint.delay", 0); - eine Zeichenkette:
user_pref("browser.download.dir", "/home/tux");
Kommentare fügen Sie mit /* und */ in die Datei ein, etwa: /* Diese Option stellt die Startseite ein /*. Von dieser Möglichkeit sollten Sie ausgiebig Gebrauch machen, da sie zur Übersichtlichkeit der Konfigurationsdatei beiträgt.



