next up previous contents
Next: Creating a new configuration Up: Configuring the Editor Previous: Configuring the Editor

Rigi configuration parameters

 

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:

  1. the filename specified in the -env flag to rigiedit,
  2. a rigicfg.env file in the current working directory where rigiedit was invoked,
  3. a rigicfg.env file in the directory named by the environment variable RIGIUSER, or
  4. a rigicfg.env file in the directory named by the environment variable RIGI.

Table gif lists the standard Rigi configuration parameters, with a short description, and the default value (if any).

   table1396
Table: Rigi Configuration Parameters



James Uhl
Wed Jul 10 14:13:22 PDT 1996