ISD Local Information

Lab Filesystems

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.

Local Computing Resources

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.


Valid XHTML 1.0! Valid CSS!
/isd/users/WEB/Local/index.html