Programming Languages Research Group

Notes about the group Linux setup:

  1. Home directories are networked and backed up nightly on individual machine drives. Please don’t keep too much data in your home directory, or this will break the backups. The home directories are on a networked file system, so they are slower than the local disk. Compiling in your home directory can be quite a bit slower than using the local machine.  Use du to see your usage, and try to keep it <10GB.
  2. Local drives are not backed up. This is a good place for large installs, but do not put critical things here.  Each machine should have a /scratch directory on the local file system.
  3. /rscratch is shared across all machines, but not backed up. This is a good place for large files that you need to access on different machines.
  4. The machines use kerberos for login. Kerberos tickets are also required to access the shared network partitions.
  5. Don’t run anything on the file server.  If you crash the file server, everyone will be locked out.
  6. Keep your machine up to date.  Use apt-get update to update the list of packages and apt-get dist-upgrade to install new packages.

Notes about git repositories:

You can see all of the current repositories at:



To checkout a repository use git clone. For example, for me to checkout the repository IRC.git, I would use:

git clone ssh://

Paper Repository

  1. Papers are stored in CVS
  2. To check out the cvs do the following.
  3. export CVS_RSH=ssh
  4. export (where bdemsky is replaced by your username)
  5. cvs Papers/17   (where 17 is replaced by the year you want)

Cluster access

  1. We have a bunch of machines in CALIT2.  They are named through
  2. We have a signup page for using them.  It is available at:

Root access

  1. For root access on a workstation, use sudo.

Book Borrowing List

Book Borrowing List