|
This section lists some environment variables used by Magma.
These variables
are set by an appropriate operating system command and are used to
define various search paths and other run-time options.
The name of the default start-up file. It can be overridden by
the magma -s command.
Search path for files that are loaded (a colon separated list
of directories). It need not include directories for the libraries,
just personal directories. This path is searched before
the library directories.
Limit on the size of the memory that may be used by a Magma-session
(in bytes).
The root directory for the Magma libraries (by supplying
an absolute path name). From within Magma
SetLibraryRoot and GetLibraryRoot can be used to change
and view the value.
Give a list of Magma libraries (as a colon separated list of
sub-directories of the library root directory). From within
Magma SetLibraries and GetLibraries can be used
to change and view the value.
The Magma system spec file containing the system packages automatically
attached at start-up.
The personal user spec file containing the user packages automatically
attached at start-up.
The root directory for the Magma help files.
Optional variable containing the directory Magma is to use for temporary files.
If not specified, this defaults to /tmp (on Unix-like systems) or
the system-wide temporary directory (on Windows systems).
[Next][Prev] [Right] [Left] [Up] [Index] [Root]
|