From 4634ea0e55a9e7a1eda8d766059f2f3690ff18cc Mon Sep 17 00:00:00 2001 From: gregor herrmann Date: Thu, 1 May 2008 23:27:58 +0000 Subject: [PATCH] Replace /usr/lib/jvm/java-7-icedtea with /usr/lib/jvm/java-6-openjdk in wrapper script. Doesn't work on Debian yet but helps Ubuntu users (cf. LP: #225450 and LP: #203636). --- debian/changelog | 8 ++++++++ debian/jabref-wrapper | 2 +- 2 files changed, 9 insertions(+), 1 deletion(-) diff --git a/debian/changelog b/debian/changelog index 818ca7a..7bcae31 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,11 @@ +jabref (2.3.1-4) UNRELEASED; urgency=low + + * Replace /usr/lib/jvm/java-7-icedtea with /usr/lib/jvm/java-6-openjdk in + wrapper script. Doesn't work on Debian yet but helps Ubuntu users (cf. + LP: #225450 and LP: #203636). + + -- gregor herrmann Fri, 02 May 2008 01:24:18 +0200 + jabref (2.3.1-3) unstable; urgency=low * Build against Debian libraries instead of pre-packaged ones diff --git a/debian/jabref-wrapper b/debian/jabref-wrapper index 7e40d9c..ed2382e 100644 --- a/debian/jabref-wrapper +++ b/debian/jabref-wrapper @@ -6,7 +6,7 @@ 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 + t=/usr/lib/jvm/java-6-openjdk && test -d $t && JAVA_HOME=$t test -n "$JAVA_HOME" && JAVA=${JAVA_HOME}/jre/bin/java fi -- 2.20.1