D.1 Environment variables

D.1.1 Location

FDRBIN

Default: FDRHOME/bin.

Allows one FDR installation directory to be used for multiple architectures.

FDRLIB

Default: FDRHOME/lib.

This variable should not need to be set.

D.1.2 Tools

FDREDIT

Default: VISUAL, EDITOR or vi.

Editor, run inside an xterm.

FDRXEDIT

Default: none.

X11-aware editor, run directly without xterm.

FDRBROWSER

Default: Uses internal Tcl/Tk browser code.

Using a real browser is strongly recommended.

D.1.3 Paging

FDRPAGEDIRS

Default: none.

This is a colon (:) separated list of up to 16 directories to use for paging.

FDRPAGESIZE

Default: 128M.

Controls how much memory is used as a buffer when paging.

FDRPAGEUNIT

Default: 128K.

This should only be changed at the direction of Formal Systems.

This document was generated by Phil Armstrong on May 17, 2012 using texi2html 1.82.