http://blog.mypapit.net/2007/10/how-to-switch-between-different-java-jvm-in-ubuntu-and-debian-gnu-linux.html 

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

所以建议个人用户只在一个配置文件修改设置。

相关文章:

  • 2022-12-23
  • 2022-12-23
  • 2021-11-19
  • 2021-05-30
  • 2021-06-17
  • 2021-12-03
猜你喜欢
  • 2022-12-23
  • 2021-11-30
  • 2022-12-23
  • 2022-12-23
  • 2021-07-23
  • 2022-12-23
相关资源
相似解决方案