Ubuntu/Debian 系统切换Java(JVM),修改Java版本,JAVA_HOME
sudo update-alternatives --config java
//这个命令是有关修改Java版本,如果你的电脑里装了多个Java版本可以使用这个命令进行切换。
但是JAVA_HOME变量不会随之改变,随后你要JAVA_HOME变量的值。
如果你是一个老手可以无视下面的部分,但是对一个新手而言,这一步还是挺tricky的。
因为你总共有好几个地方可以设置这个变量,分别是:
/etc/enviroment /etc/profile ~/.bashrc
这里需要解释一下,这三个路径分别有不同的含义,因为Linux是多用户的。
第一个enviroment里指的是当前机器的设置
第二个是当前用户的设置
第三个是当前bash环境的设置
范围一次变小,而优先级逐步提升。
比如说: .bashrc里面设置的是 openjdk的路径,然后在前两个设置的是jdk1.7.0的路径
最终你在bash里面运行 $echo $JAVA_HOME
返回的是openjdk的路径
但是如果你把.bashrc里面对JAVA_HOME的设置取消了,那么就变成了jdk1.7.0
所以建议个人用户只在一个配置文件修改设置。