Tôi từng có nhiều JDK
cài đặt trên máy Linux
của tôi, và tôi muốn chuyển đổi từ một phiên bản khác từ dòng lệnh (Tôi sử dụng để thay đổi JAVA_HOME
tôi bằng tay):Có trình quản lý phiên bản Java nào không?
Đây là cách tiếp cận hiện tại của tôi:
I source
a ~/.paths
trong số .bashrc
.
.paths
chứa tất cả JDK
được cài đặt trên máy của tôi.
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
Khi tôi muốn t chuyển sang JDK8
, tôi sửa đổi biến JDK_HOME
đến điểm trên JDK8
trong tập tin, và tôi re-source
tập tin .paths
tôi.
Tôi biết rằng IDE
có thể quản lý nhiều JDK
dễ dàng, nhưng tôi muốn một giải pháp như rvm.
- Có mẹo nào tốt hơn không?
- Tốt hơn, Có tương đương với rvm trong Java không?
bản sao có thể có của [Trình quản lý phiên bản JVM] (http://stackoverflow.com/questions/2463936/jvm-version-manager) –