Next: Creating a new configuration
Up: Configuring the Editor
Previous: Configuring the Editor
The rigiedit editor stores its preferences or
configuration parameters in a file.
It considers the following locations, in sequence, to find
and load this configuration file:
- the filename specified in the -env flag to
rigiedit,
- a rigicfg.env file in the current working
directory where rigiedit was invoked,
- a rigicfg.env file in the directory named
by the environment variable RIGIUSER, or
- a rigicfg.env file in the directory named
by the environment variable RIGI.
Table lists the
standard Rigi configuration parameters, with a short
description, and the default value (if any).
Table: Rigi Configuration Parameters
James Uhl
Wed Jul 10 14:13:22 PDT 1996