Advertisement
vfrico

DrJava Icon

Feb 11th, 2014
345
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Bash 0.54 KB | None | 0 0
  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
Add Comment
Please, Sign In to add comment
Advertisement