[previous] [up] [next]     [index]
Next: Extending DrScheme Up: DrScheme Files Previous: Backup and Autosave Files

Miscellaneous Files

On start-up, DrScheme reads configuration information from two files: a normal preferences file and a low-level setup file. The names of these files contain ``MrEd'' because they are part of a preferences system shared by DrScheme and other programs that execute in MrEd.

The name and location of the preferences file depends on the platform and user:

If that file does not exist, and the file prefs.ss in the defaults collection (see Library Collections and MzLib for more information about collections) does exist, prefs.ss is used for the preferences file. This allows site-specific configuration. To set it up, start up DrScheme and configure the preferences to your liking. Then, exit DrScheme and copy the preferences file into the defaults collection and call it prefs.ss. Thus, users who do not have any preferences set with default to the preference settings you chose.

The low-level setup file configures font settings that are needed early in the MrEd boot process. (The information in the setup file is duplicated in the normal preferences file, which is loaded later.) The name and location of the low-level setup file depends on the platform and user:


[previous] [up] [next]     [index]
Next: Extending DrScheme Up: DrScheme Files Previous: Backup and Autosave Files

PLT