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.