Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- 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