jabref

   1 #!/bin/sh
   2
   3 # jabref wrapper script
   4 # code for java detection borrowed from tuxguitar
   5
   6 if [ -z $JAVA_HOME ]
   7 then
   8 t=/usr/lib/jvm/java-1.5.0-sun && test -d $t && JAVA_HOME=$t
   9 t=/usr/lib/jvm/java-6-sun && 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 "$@"