Sorry. This documentation has yet to be written. Additional documentation will follow.
Desert can be customized through standard X11/Motif definitions, environment variables, configuration files, and a personal .desertrc file. The .desertrc file contains a set of definitions of the form Variable = Value; each of these settings is equivalent to setting the appropriate environment variable.
If you want to generate a full transcript of Desert's operation, you can add the line
DESERT_DEBUG = 1
to your .desertrc file. This will create the file ~/.desertlog and append a variety of miscellaneous information as Desert runs.
If you have questions or problems, send email to Steve Reiss at spr@cs.brown.edu.
Or go back to the Desert home page.