Skip to content

Instantly share code, notes, and snippets.

@shiraji

shiraji/jdk_setting

Last active August 26, 2018 03:57
Show Gist options
  • Star 3 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save shiraji/958cca1509ada9fd6257b9687580d163 to your computer and use it in GitHub Desktop.
Save shiraji/958cca1509ada9fd6257b9687580d163 to your computer and use it in GitHub Desktop.
Download ZIP
JDK export settings for Kontribution
Raw
jdk_setting
export JAVA_HOME=`/usr/libexec/java_home -v "1.8"`
export JDK_16=`/usr/libexec/java_home -v "1.6"`
export JDK_17=`/usr/libexec/java_home -v "1.7"`
export JDK_18=`/usr/libexec/java_home -v "1.8"`
export JDK_9=`/usr/libexec/java_home -v "10"`
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment