Thinking a bit more about the problem I come to the conclusion this should be
solved
by a generic java wrapper.
It does not make any sense in spite of the fact that many JAVA programms require
the environment variable JAVA_HOME set the java binary is simply managed by the
/etc/alternatives mechanism.
I think there are two possible solutions:
1. Let a wrapper script set JAVA_HOME matching to the java provider chosen by
/etc/alternatives
2. Choose JAVA dynamically by the given JAVA_HOME if set, if not set goto 1. :-)
--
[hardy] freecol java detection flawed and not enough memory to start
https://bugs.launchpad.net/bugs/196264
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
