2008.08.10
.bash_profile vs .bashrc.
Somewhat related, invoking sudo update-alternatives --config java will allow you to take care of various JDKs in Ubuntu (all of which are in /usr/lib/jvm if you install using apt). This doesn't set JAVA_HOME, though. The best way to do that (eg. discussion here) is to have JAVA_HOME=/usr/lib/jvm/java-6-sun or the like appended to /etc/environment.
{2008.08.10 03:17}
rss feed