next up previous contents
Next: Modifying a configuration file Up: Configuring the Editor Previous: Rigi configuration parameters

Creating a new configuration file

 

To create a new configuration file:

  1. Choose Configuration from the Options menu.

    A Configuration dialog appears, showing a list of configuration parameters.

    For each parameter, there is a short description, the corresponding environment variable which would override it, and the current value.

  2. Choose New from the File menu of the Configuration dialog.

    A new configuration is created with default values for the parameters.

  3. Choose Save As ... from the File menu of the dialog.

    A File dialog appears.

  4. Enter a name for the new configuration file and click OK.

    Use the name rigicfg.env so that rigiedit can automatically attempt to find it.

  5. Click Done to dismiss the Configuration dialog.


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