move wrapper script back; a script with the name of the package in debian/ is not...
[debian/jabref.git] / jabref
1 #!/bin/sh
2
3 # jabref wrapper script
4 # code for java detection borrowed from tuxguitar
5
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-7-icedtea && test -d $t && JAVA_HOME=$t
10         JAVA=${JAVA_HOME}/jre/bin/java
11 fi
12
13 export JAVA=${JAVA:=java}
14
15 exec $JAVA -jar /usr/share/java/jabref.jar "$@"