Support in shell wrapper for IcedTea (wishlist)
Bug #162857 reported by
Egon Willighagen
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
jabref (Ubuntu) |
Fix Released
|
Undecided
|
gregor herrmann |
Bug Description
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/
t=/usr/
t=/usr/
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
Changed in jabref: | |
status: | Confirmed → In Progress |
To post a comment you must log in.
Thanks for the note and the patch; that's really good news!
At the moment I'm a bit reluctant to introduce a new dependency because theres no icedtea package in Debian (note that the JabRef package in Ubuntu is taken from Debian unstable).
Changing the wrapper script shouldn't hurt, and I'll keep an eye on IcedTea.
Cheers,
gregor