Câu trả lời:
Bạn có thể liên kết một bí danh với các phiên bản java cụ thể. Chỉ cần thêm các dòng sau vào $HOME/.bashrc
:
alias java6='/path/to/java6/bin/java'
alias java7='/path/to/java7/bin/java'
Tương tự cho javac
và bạn sẽ ổn thôi ;-)
$JAVA_HOME
biến môi trường được đặt. Bạn nên sử dụng một cái gì đó nhưJAVA_HOME=/usr/lib/jvm/java-7-openjdk-amd64
Bạn có thể chọn phiên bản java bằng cách sử dụng update-alternatives
lệnh.
Chạy bên dưới lệnh trong terminal.
sudo update-alternatives --config java
Và gõ số lựa chọn mà bạn muốn sử dụng.
Như thế này:
Thận trọng: Mô tả ở trên là quy trình thay đổi phiên bản mặc định. Nó không phải là một câu trả lời của câu hỏi này, nhưng nó để lại cho tham khảo.