ISD has its own
file server, and several of its own filesystems, all under
/isd
. For local storage of your own files, create a
subdirectory under /isd/users
. Locally useful software
should be installed under /isd/local
or
/isd/public
.
/isd/{local,public}
work much the same way as the
departmental /cs/{local,public}
; users install packages
and then use enable
and disable
to manage
which packages are set up and in $PATH
. By default, the
departmental enable scripts will not recognize our local filesystems,
nor will other local settings be configured (e.g. adding
/isd/local/bin
to your path). To get these local
settings, first enable ISD
. Then you can use enable to
access our local packages (use enable -L
to see a
complete list).
If you wish to install your own software, general installation
instructions can be found in the documentation for enable
and in the department FAQs. See
/isd/local/generic/lib/pkg/{README,enable.txt}
for
additional information. For help or for more specific information on
ISD lab
conventions, speak to your fellow lab members.
We have a number of x86 boxes for general use. Most of the systems range from 400 MHz PII's to 733 MHz PIII's, each with 128 MB of RAM. We also have a Sun Ultra10, for use with CAD tools which are only capable of using 8-bit visuals.
We have three workhorse machines. One is a 1.5 GHz P4, with 1 GB of RAM. The other two are dual processor Sun Ultra60's, with 1.25 GB or 2 GB of RAM. In general you should only use these systems if you are sitting at them, or if you have asked senior lab members about appropriate use.
If you want to know specific machine names, talk to your labmates. The machine names are not listed here because we don't want just anyone to use our machines without permission.