Public bug reported:
Would be nice of the shell wrapper would pick up IcedTea. The patch:
--- jabref.orig 2007-11-15 13:22:25.000000000 +0100
+++ jabref 2007-11-15 13:23:12.000000000 +0100
@@ -5,6 +5,7 @@
if [ -z $JAVA_HOME ]
then
+t=/usr/lib/jvm/java-7-icedtea && test -d $t && JAVA_HOME=$t
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
JAVA=${JAVA_HOME}/jre/bin/java
Oh, and a recommends or even depends in the debian/control would be nice
too. The package to depend on is
icedtea-java7-jre
** Affects: jabref (Ubuntu)
Importance: Undecided
Status: New
--
Support in shell wrapper for IcedTea (wishlist)
https://bugs.launchpad.net/bugs/162857
You received this bug notification because you are a member of Ubuntu
Bugs, which is the bug contact for Ubuntu.
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
