Advertisement
vfrico

DrJava Icon

Feb 11th, 2014
244
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
Advertisement
RAW Paste Data Copied
Advertisement