path: root/drjava-svetovid.sh

#!/bin/sh

"$JAVA_HOME/bin/java" -jar '/usr/share/java/drjava-svetovid/drjava-svetovid.jar'