9.2. Manually editing the preferences
Manual editing of preferences are intended for advanced users only.
Enigmail preferences are stored together with Mozilla global preferences inside
the user.js and prefs.js files in your profile directory. Mozilla first reads
the preferences in user.js, if this file exists, and copies them in prefs.js.
You can create the file user.js in order to keep your custom preferences that
you do not wish to be ever changed; this file, unlike prefs.js, won't be
modified by Mozilla.
The preferences are accessible in SeaMonkey by opening the URL
about:config , and in Thunderbird under Tools → Preferences → Advanced
→ General → Config Editor.
From there, you can change the preferences values, which will then be written
in prefs.js under the following format:
user_pref("preference_name",value);
This section provides a reference in alphabetical order to the various Enigmail
preferences. First is printed the preference name and its default value; then
follows its meaning, and the relevant menu command if the preference can also
be set from the GUI.
You can review the default preferences settings in the enigmail.js file.
extensions.enigmail.addHeaders true
Adds custom X-Enigmail mail headers to all outgoing messages. These
headers are not currently used for any function, but may be used by Enigmail in
the future.
Currently the added headers are:
X-Enigmail-Version: 0.96.0.0 (or whatever)
X-Enigmail-Supports: pgp-inline, pgp-mime
extensions.enigmail.advancedUser false
Shows the advanced settings.
OpenPGP → Preferences → Display Expert Settings / Hide Expert Settings
extensions.enigmail.agentAdditionalParam ""
Additional parameters passed to the GnuPG executable. Default value is blank.
OpenPGP → Preferences → Advanced → Additional parameters for GnuPG
77
Kommentare zu diesen Handbüchern