DrJava Plug-in Admin

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