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):