the corner office : tech blog

a tech blog, by Colin Pretorius

« 2008.07.11 | Main | 2008.08.19 »

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 - 04:17}

meta

-home-
about
main blog

archives

rssfeed posts

© Colin Pretorius