The file devices.sh

This file can be found in /midas/98NOV/monit and contains the logical MIDAS names for a limited number of the available hardcopy devices. The format is described in the file. Make sure that the names in the file are unique. In addition, if names are added or modified also the procedure checkdev.prg may need to be modified (see below).