Wie heraus bekommen, welche Werte sich bei einer Konfigurationsänderung des FF per GUI, in der internen über die about:config ersichtlichen Konfiguration geändert haben ?

Per GUI kann man bei Firefox verschiedene Einstellungen vor nehmen. Die GUI kann man hierfür z.B. durch folgende Eingabe in der Adreßzeile aufrufen:

about:preferences

Wie der Firefox die Einstellungen intern benennt, kann man sich, sofern man weiß wonach man suchen muß, durch Eingabe von folgenden in der Adresszeile an sehen und auch Einstellungen vor sich nehmen:

about:config

* Der Speicherort der user.js ist unter Ubuntu der folgende:

home/user/.mozilla/firefox/xxxxxxxx.default*/user.js

Die Syntax der user.js ist laut http://kb.mozillazine.org/User.js_file z.B. wie folgt:

// Don't show bookmark icons

user_pref("browser.chrome.site_icons", false);

Was gibt es für Wege um heraus zu finden, welche Änderungen eine per FF GUI durchgeführte Änderung, für per about:config einsehbare (ja und auch änderbare) Änderungen bewirkt.

Ziel ist es Schritt für Schritt, einzelne bevorzugte Einstellungen per GUI zu machen, die geänderten Werte z.B. per about:config nach zu sehen und in einigen Fällen als Vorlage in einer passend abgelegten user.js Datei zu verwenden und hierfür nicht für jedem gerade interessierenden Wert, eine Anfrage im Forum machen zu müssen.

Wie macht ihr das ? Oder macht ihr vlt. ein diff auf zwei Versionsstände einer die entsprechende Konfiguration abspeichernden und mir bisher nicht bekannten Dateien ?

Zitat von Sören Hentzschel

Hallo,

es gibt keinen allgemeinen Weg, um von einer sichtbaren Einstellung zu einem Schalternamen in about:config zu kommen.

Wo sind die Werte vom FF gespeichert, die einem per about:config angezeigt werden ?
Vlt. kann man da ja zwei Dateiversionen per diff vergleichen ?

Zitat von Sören Hentzschel

Theoretisch, aber ich bin nicht davon überzeugt, dass das zielführend ist. Du erkennst daran ja nicht, was überhaupt für den Nutzer bestimmt ist. Und sowas bringt einen nur auf die Idee, Dinge zu verändern, die für einen sonst auch nie ein Problem waren.

Wenn das nicht so ohne langjährige Erfahrungen, z.B. einen einfachen diff durch Jedermann heraus zu bekommen ist, werden ich dann wohl noch im Laufe der Zeit immer mal wieder eine Frage zu den Einstellungen hier im Forum stellen.