WrenGROGGS environment variables

WrenGROGGS uses some environment variables to figure out your preferences. Simple precedence is inadequate to do this 'right', so the following rules are used. At the point when these rules are applied, WrenGROGGS has read .groggprefs and .grogsrc, but not the command line :

If you haven't specified an editor, and DEFAULTEDITOR is set, then you want to use $DEFAULTEDITOR as an editor.
If you haven't specified an editor, and DEFAULTEDITOR is unset, and VISUAL is set, you want to use $VISUAL.
If you haven't specified an editor, and neither DEFAULTEDITOR nor VISUAL is set, but EDITOR is set, you want to use $EDITOR.
If you haven't specified a pagewaiter, and PAGEWAITER is set, you want to use $PAGEWAITER as a pagewaiter.
If you haven't specified a pagewaite,r and PAGEWAITER is unset, but PAGER is set, you want to use $PAGER.
If GROGCHANGE is set, then if GROGCHANGE = "yes", then set the grogchange flag (equivalent to "/change" on the command line).
If GROGNAME is set, you want to use $GROGNAME as your grogname.

Return to configuration, or the WrenGROGGS home page.

Last modified: Tue Sep 19 17:32:05 1995

Richard Watts <Richard.Watts@cl.cam.ac.uk>