[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

3.2.1 Environment

The system is currently implemented to run under the X Window System, Version 11, and you must be using a console or monitor running X11 or a compatible windowing system.

FDR insists on one variable being set in its environment: FDRHOME must be set to the (fully qualified) name of the directory containing the FDR `LICENCE' file, typically the root directory of the FDR installation. If this variable is not set, the tool will terminate immediately with an error.

Other environment variables may be set, to select preferred editors and web browsers.

Other environment variables allow you to control the location of various components of FDR, and to control its paging strategies. These are documented in D. Configuration.


[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

Formal Systems (Europe) Ltd FDR2 Manual