the corner office : tech blog

a tech blog, by Colin Pretorius


.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}

« 2008.07.11

» 2008.08.19