#!/bin/bash # This must match the install directory. INSTALL=/usr/local/introcs jar=${INSTALL}/drjava.jar java -jar ${jar}