Я изменил JAVA_HOME в .bash_profiles, как мне изменить версию Java, которую он использует - PullRequest
0 голосов
/ 20 октября 2019

У меня установлено 3 версии java: adoptopenjdk-8.jdk, jdk-12.0.2.jdk и jdk1.0.0_221.jdk

, когда я устанавливаю переменную JAVA_HOME на JAVA_HOME="/usr/libexec/java_home", затем, когда я перехожу к типу терминала $JAVA_HOME, это дает jdk-12.0.0.jdk версию.
Как бы я изменил ее, чтобы она давала adoptopenjdk-8.jdk версию?

Я пытался установить ее на:
export JAVA_HOME="/Library⁩/Java⁩/JavaVirtualMachines⁩/adoptopenjdk-8.jdk⁩/⁨Contents⁩/Home"
export PATH="$JAVA_HOME/bin:$PATH"

Предполагается предоставить adoptopenjdk-8.jdk версию Java.
Но не уверен, как изменить ее на adoptopenjdk-8.jdk версию вместо jdk-12.0.0.jdk

...