On my system, `/usr/sbin/update-java-alternatives --list` gives the
following output:
java-6-openjdk 1061 /usr/lib/jvm/java-6-openjdk
java-6-sun 63 /usr/lib/jvm/java-6-sun
java-7-icedtea 1060 /usr/lib/jvm/java-7-icedtea
So using the 2nd coloumn for this is not a good indicator for the
version. However calling $found_jdk/bin/java -version takes more time
than acceptable. I'm out of ideas here how to fix it properly. I'd
therefore suggest to take out this convenience function. Its intention
is of course to help new users. However, it doesn't help when its
broken.
** Changed in: jde (Ubuntu)
Importance: Undecided => Low
Status: New => Triaged
--
54jde.el registers wrong java version
https://bugs.launchpad.net/bugs/234690
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
