G2A Many GEOs
SHARE
TWEET

DrJava Icon

vfrico Feb 11th, 2014 155 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. DrJdir="/usr/share/applications/drjava.desktop" && wget http://www.cis.upenn.edu/~palsetia/java/images/drjavalogo.png && sudo cp drjavalogo.png /opt/drjava.png && sudo cp drjava.jar /opt/drjava.jar && sudo chmod 0777 /opt/drjava.jar  && echo -e "[Desktop Entry]\nName=DrJava\nComment=Editor Java Ligero\nExec=java -jar /opt/drjava.jar\nTerminal=false\nType=Application\nStartupNotify=true\nMimeType=text/plain;\nIcon=/opt/drjava.png\nCategories=Developement;TextEditor;\n" > drjava.desktop && sudo mv drjava.desktop $DrJdir && sudo chmod +x $DrJdir
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
Top