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:

- Under X, preferences are stored in `.mred.prefs` in the user's home directory.
- Under Windows, if the HOMEDRIVE and HOMEPATH environment variables are defined, preferences are stored in `%HOMEDRIVE%\%HOMEPATH%\mred.pre`, otherwise preferences are stored in `mred.pre` in the directory containing the MrEd executable.

  Windows NT: When DrScheme is launched under Windows NT and HOMEDRIVE and HOMEPATH are not set, NT automatically sets the variables to indicate the root directory of the main disk. Therefore, when HOMEDRIVE and HOMEPATH are not set in NT, the preferences file `mred.pre` is saved in the root directory.

- Under MacOS, preferences are stored in `MrEd Preferences` in the system preferences folder.

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:

- Under X, preferences are stored in `.mred.resources` in the user's home directory.
- Under Windows, if the HOMEDRIVE and HOMEPATH environment variables are defined, preferences are stored in `%HOMEDRIVE%\%HOMEPATH%\mred.ini`, otherwise preferences are stored in `mred.ini` in the directory containing the MrEd executable.
- Under MacOS, preferences are stored in `mred.fnt` in the system preferences folder.

Next: Extending DrScheme Up: DrScheme Files Previous: Backup and Autosave Files