|
|
|
3.1 File Layout Maui is initially unpacked into a simple one-deep directory structure as shown below. Note that some of the files (i.e., log and statistics files) will be created as Maui is run. $(MAUIHOMEDIR) _____ maui.cfg (general config file containing
information required by both the Maui server and user interface clients)
$(MAUIINSTDIR) ________bin (directory for installed Maui executables)
/etc/maui.cfg (optional file. This file is used to override default '$(MAUIHOMEDIR)' settings. it should contain the string 'SERVERHOMEDIR $(DIRECTORY)' to override the 'built-in' $(MAUIHOMEDIR)' setting. When Maui is configured via the configure script, the user is queried for the location of the Maui home directory and this directory, $(MAUIHOMEDIR), is compiled in as the default MAUIHOMEDIR directory when Maui is built. Unless specified otherwise, Maui will look in this directory for its various config files. If you wish to run Maui out of a different directory, you can override the default home directory setting by creating a /etc/maui.cfg file containing the string 'SERVERHOMEDIR <DIRECTORY>', by setting the environment variable 'MAUIHOMEDIR', or by specifying the configfile explicitly using the '-C' command line option on Maui and the Maui client commands. When Maui is run, it creates a log file, 'maui.log' in the log directory and creates a statistics file in the stats directory with the naming convention 'stats.YYYY_MM_DD' (i.e., 'stats.2000_09_20'). Additionally, a checkpoint file, maui.ck and lock file maui.pid are maintained in the Maui home directory. |
|
| © 2001-2008 Cluster Resources, Incorporated | |