No Debian e derivados, você provavelmente deve usar update-java-alternatives
. De qualquer forma, todas essas ferramentas são relacionadas ao sistema, não relacionadas ao usuário. Se você quiser usar um java diferente, basta colocar essas linhas no seu ~/.profile
:
JAVA_HOME=/usr/lib/jvm/java-6-sun
JRE_HOME=/usr/lib/jvm/java-6-sun/jre
PATH=$JAVA_HOME/bin:"$PATH"
export JAVA_HOME JRE_HOME