#!/bin/sh # jabref wrapper script # code for java detection borrowed from tuxguitar if [ -z "$JAVA_HOME" ] ; then t=/usr/lib/jvm/java-1.5.0-sun && test -d $t && JAVA_HOME=$t t=/usr/lib/jvm/java-6-sun && test -d $t && JAVA_HOME=$t t=/usr/lib/jvm/java-6-openjdk && test -d $t && JAVA_HOME=$t test -n "$JAVA_HOME" && JAVA=${JAVA_HOME}/jre/bin/java fi export JAVA=${JAVA:=java} exec $JAVA -jar /usr/share/java/jabref.jar "$@"