On Sun, 20 Apr 2008 at 05:10PM -0700, mabshoff wrote:
> Not really, but IIRC there is some mechanism in Ubuntu land in general
> to select the default java. I just don't know what it is :( and I will
> be sure that somebody else knows ;)

In Debian-based systems, it's the "alternatives" system. See `man
update-alternatives`; you'll want to change the java alternative, I
think.

Dan

-- 
---  Dan Drake <[EMAIL PROTECTED]>
-----  KAIST Department of Mathematical Sciences
-------  http://math.kaist.ac.kr/~drake

Attachment: signature.asc
Description: Digital signature

Reply via email to