Skip to content

Instantly share code, notes, and snippets.

@EdoardoVignati

EdoardoVignati/change_java_versions_alias

Created May 22, 2020 09:58
Show Gist options
  • Save EdoardoVignati/17dad9844d8999a626cb9b6b0a97f1d1 to your computer and use it in GitHub Desktop.
Save EdoardoVignati/17dad9844d8999a626cb9b6b0a97f1d1 to your computer and use it in GitHub Desktop.
Download ZIP
Alias to change java, javac and JAVA_HOME easily between Java versions
Raw
change_java_versions_alias
alias java13="sudo rm /usr/bin/java; sudo ln -s JAVA_HOME=/usr/lib/jvm/jdk-13.0.2/bin/java /usr/bin/java; sudo rm /usr/bin/javac; sudo ln -s JAVA_HOME=/usr/lib/jvm/jdk-13.0.2/bin/javac /usr/bin/javac; echo 'export JAVA_HOME=\"JAVA_HOME=/usr/lib/jvm/jdk-13.0.2/\"'>~/.javahome; source ~/.bashrc"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment