我曾经JDK
在我的Linux
机器上安装了多个,我喜欢从命令行从一个版本切换到另一个版本(我曾经JAVA_HOME
手动更改):
这是我目前的做法:
我source
在~/.paths
我的.bashrc
.
.paths
包含JDK
我机器上安装的所有内容。
JDK7="~/local/jdk1.7.0_15"
JDK8="~/local/jdk1.8.0"
// I use Jdk 7 by default
JDK_HOME=$JDK7;
// including $JDK_HOME/bin to the $PATH
当我想切换到 时JDK8
,我将JDK_HOME
变量修改为指向JDK8
文件,然后我re-source
的.paths
文件。
我知道IDE
可以轻松管理多个JDK
,但我想要一个类似rvm的解决方案。
- 有没有更好的技巧?
- 更好的是,Java 中是否有rvm等价物?