4.3 The Configuration File
Keywords: Plucker_Doc

Next: 4.3.1 [DEFAULT] Up: 4. The Parser Previous: 4.2.9 Sections Contents Index

#
4.3 The Configuration File

The configuration file allows you to specify default values for global options. Under OS/2 and Windows this file should be called plucker.ini. For Windows, put this in Plucker Home or in the Plucker directory (`$PLUCKERDIR`). Under Unix/Linux, this file should be called pluckerrc if it is the system wide config file and .pluckerrc if it is a user config file. It should have been installed in the correct place (e.g. .pluckerrc should be in your home directory.)

Entries are `key = value` pairs ordered into sections. A section is named and begins with a line in square bracket, where the brackets contain the section's name. Lines starting with a ;; are considered comments.

All systems search the [DEFAULT] section. Under Windows, the [WINDOWS] section is also searched, OS/2 will search both the [OS2] and [POSIX] section and all other systems will search the [POSIX] section. Using the -s on the command line you can add other sections to search. The parser starts with the [DEFAULT] section, then the system dependent section(s) and last any sections defined on the command line. If a key is repeated the value for the last one will be used.

The following `keys` are defined (check the config file that came with your version of Plucker, new keys might have been added after this version of the document was released):

Subsections

- 4.3.1 [DEFAULT]
- 4.3.2 [POSIX]
- 4.3.3 [OS2]
- 4.3.4 [WINDOWS]

Next: 4.3.1 [DEFAULT] Up: 4. The Parser Previous: 4.2.9 Sections Contents Index