3
# jabref wrapper script
4
# code for java detection borrowed from tuxguitar
6
if [ -z "$JAVA_HOME" ] ; then
7
t=/usr/lib/jvm/java-1.5.0-sun && test -d $t && JAVA_HOME=$t
8
t=/usr/lib/jvm/java-6-sun && test -d $t && JAVA_HOME=$t
9
t=/usr/lib/jvm/java-6-openjdk && test -d $t && JAVA_HOME=$t
10
test -n "$JAVA_HOME" && JAVA=${JAVA_HOME}/jre/bin/java
13
export JAVA=${JAVA:=java}
15
exec $JAVA -cp /usr/share/java/jabref.jar:/usr/share/java/antlr.jar:/usr/share/java/antlr3.jar:/usr/share/java/looks.jar:/usr/share/java/forms.jar:/usr/share/java/spin.jar:/usr/share/java/glazedlists.jar:/usr/share/java/microba.jar:/usr/share/java/pdfbox.jar:/usr/share/java/jempbox.jar net.sf.jabref.JabRefMain "$@"