Home » Support » Index of All Documentation » Wing IDE Reference Manual » Customization » Preferences »

2.2.0. Preferences File Layers

Wing's preferences manager runs on a layered set of preferences files. An installation-wide preferences file may be placed inside WINGHOME and individual users can override these values from the Preferences GUI in Wing's Edit menu (or by manually placing a preferences file in the User Settings Directory). The values given in the user-specific preferences file take precedence over any values in the default WINGHOME/preferences file.

It is also possible to specify additional preferences files on the command line though the --prefs-file option. For example:

wing3.1 --prefs-file /path/to/myprefs  

Any file specified in this way will override values stored in the per-user or installation-wide preferences files. These files must contain all preferences in a section marked [extra-preferences] (as opposed to [user-preferences], which is used in the regular users preferences file).