Ulli Kuhnle <
kuh...@nefkom.net>:
> Helmut Waitzmann schrieb:
>
>> Ulli Kuhnle <
kuh...@nefkom.net>:
>>
>>> Das heißt, ich muss nach jedem Neustart die Server-Einstellungen
>>> ändern.
>>
>> Hast Du möglicherweise im Profilverzeichnis neben der Datei
>> »prefs.js« auch noch eine Datei »user.js«?
>
> Ja. Ich hab' sie mal verschoben. Jetzt bleiben die Einstallungen
> erhalten. Ist die user.js nötig?
Es haben ja schon Andere Vieles dazu geschrieben. Zur Erklärung
möchte ich noch hinzufügen:
Die Datei »user.js« wird vom Thunderbird (und genau so auch beim
Firefox) bei jedem Start gelesen, und die darin enthaltenen
Einstellanweisungen werden durchgeführt, nachdem die in der Datei
»prefs.js« enthaltenen Einstellungen vorgenommen wurden. Das
bedeutet, dass die Einstellungen aus »user.js« diejenigen aus
»prefs.js«, die ihnen widersprechen, zunichte machen.
Wenn Du dem Thunderbird sagst, er solle sich beenden, schreibt er seine
augenblicklichen Einstellungen in die Datei »prefs.js« (und lässt
die Datei »user.js« unangetastet) und beendet sich anschließend.
Damit erklärt sich auch das von Dir beobachtete Symptom: In der
»user.js« hast Du Einstellungen stehen, die Dir nicht passen.
Also hast Du sie interaktiv im laufenden Thunderbird geändert.
Jetzt beendest Du den Thunderbird. In der »prefs.js« stehen jetzt
die Einstellungen so, wie Du sie haben willst.
Wenn Du den Thunderbird jetzt neu startest, stellt er sich gemäß
der Einstellungen in »prefs.js« (die so sind, wie Du willst) ein
und nimmt sich anschließend »user.js« zur Brust und stellt sich
um, so, wie in »user.js« beschrieben.
[die Datei »user.js«]
> Ja. Ich hab' sie mal verschoben. Jetzt bleiben die Einstallungen
> erhalten.
Warum sie jetzt erhalten bleiben, dürfte klar sein: Sie werden
nicht mehr von der Datei »user.js« zunichte gemacht.
> Ist die user.js nötig?
Wenn Du Deinen Thunderbird beim nächsten Start genau so
eingestellt haben willst, wie er eingestellt war, als Du ihn
zuletzt beendet hast, brauchst Du die Datei »user.js« nicht.
Wofür man eventuell eine haben möchte, haben ja Thomas Schade und
Jörg Tewes schon geschrieben.
Ein Beispiel, wo ich die Datei »user.js« (beim Firefox) verwendet
hatte: Zu Zeiten, als es noch kein »noscript« gab, hatte ich
Javascript normalerweise abgeschaltet und schaltete es nur nach
Bedarf ein. Weil ich wollte, dass Javascript bei jedem
Firefoxstart abgeschaltet ist – auch dann, wenn ich nach der
letzten Javascriptbenutzung vergessen haben sollte, es wieder
abzuschalten –, hatte ich in der Datei »user.js« die Zeile
user_pref("javascript.enabled", false);
stehen. Das garantierte mir, dass ein frisch gestarteter Firefox
Javascript abgeschaltet hatte.