On Sun, 05 Aug 2012 20:23:46 +0200, Csanyi Pal wrote: > Camaleón <[email protected]> writes:
>>> I did so: >>> $ sudo update-alternatives --config java >>> >>> http://alexander.holbreich.org/2011/11/java-7-on-debian/ >> >> That was indeed the way to go. >> >> Strange is that after having installed openjdk v7 in last place it is >> not being selected automatically as the default version; that's what I >> would have expected (→ last wins) but seems that not :-? > > I have now this: > > $ sudo update-alternatives --config java There are 2 choices for the > alternative java (providing /usr/bin/java). > > Selection Path Priority Status > ------------------------------------------------ > 0 /usr/lib/jvm/java-6-openjdk-amd64/jre/bin/java 1061 auto mode > 1 /usr/lib/jvm/java-6-openjdk-amd64/jre/bin/java 1061 manual mode > * 2 /usr/lib/jvm/java-7-openjdk-amd64/jre/bin/java 1051 manual mode > > Press enter to keep the current choice[*], or type selection number: Yes, that's what I would have expected after installing OpenJDK v7 but this has to come "automatically" not "manually" as you did. At least IMO it makes sense to give a higher priority to the latest version of OpenJDK as it usually comes with all of the patches and security fixes applied. Greetings, -- Camaleón -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
