Previous Up Next

3 Startup Files

Once jed has loaded the startup file site.sl, it will try to load the user’s personal initialization file. It first looks in the directory pointed to by the environment variable JED_HOME. If that fails, it then searches the HOME directory and upon failure simply loads the one supplied in JED_LIBRARY.

The name of the user initialization file varies according to the operating system. On Unix systems this file must be called .jedrc while on VMS and MSDOS, it goes by the name jed.rc. For VMS systems, the HOME directory corresponds to the SYS$LOGIN logical name while for the other two systems, it corresponds to the HOME environment variable.

The purpose of this file is to allow an individual user to tailor jed to his or her personal taste. Most likely, this will involve choosing an initial set of key-bindings, setting some variables, and so on.


Previous Up Next