Add new patch 05_PrintStream_File, PrintStream(File) is undefined in
[debian/jabref.git] / jabref
diff --git a/jabref b/jabref
index c2c254864cc38088602eb292dc0e12fbb809b111..8f8c3058c4e5838b6e9b8072f722ba6f6b7e16aa 100644 (file)
--- a/jabref
+++ b/jabref
@@ -1,7 +1,15 @@
 #!/bin/sh
 
-if echo "$@" | grep -q "\-v" - ; then
-       EXTRA="-n"
+# 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-7-icedtea && test -d $t && JAVA_HOME=$t
+       test -n "$JAVA_HOME" && JAVA=${JAVA_HOME}/jre/bin/java
 fi
 
-java -jar /usr/share/java/jabref.jar "$@" "$EXTRA"
+export JAVA=${JAVA:=java}
+
+exec $JAVA -jar /usr/share/java/jabref.jar "$@"