Installation

1. Unzip the DrJava zipfile into the dropins (not plugins) directory:

   
   [lethe] dropins% sudo cp /src/util/drjava-eclipse-0.9.8.zip .
   [lethe] dropins% umask
   22
   [lethe] dropins% sudo unzip drjava-eclipse-0.9.8.zip 
   Archive:  drjava-eclipse-0.9.8.zip
      creating: edu.rice.cs.drjava_0.9.8/
      creating: edu.rice.cs.drjava_0.9.8/META-INF/
      creating: edu.rice.cs.drjava_0.9.8/icons/
     inflating: edu.rice.cs.drjava_0.9.8/LICENSE  
     inflating: edu.rice.cs.drjava_0.9.8/META-INF/MANIFEST.MF  
     inflating: edu.rice.cs.drjava_0.9.8/README  
     inflating: edu.rice.cs.drjava_0.9.8/drjava-eclipse.jar  
     inflating: edu.rice.cs.drjava_0.9.8/icons/drjava16.gif  
     inflating: edu.rice.cs.drjava_0.9.8/icons/drjava16.png  
     inflating: edu.rice.cs.drjava_0.9.8/plugin.xml  
   [lethe] dropins% ls -al
   total 2764K
   drwxrwxr-x 3 root root    4096 Aug 23 14:48 .
   drwxrwxr-x 9 root root    4096 Aug 23 13:59 ..
   -rw-r--r-- 1 root root 2795216 Aug 23 14:48 drjava-eclipse-0.9.8.zip
   drwxr-xr-x 4 root root    4096 Oct 30  2006 edu.rice.cs.drjava_0.9.8
   [lethe] dropins% sudo rm drjava-eclipse-0.9.8.zip