Skip to content

Instantly share code, notes, and snippets.

@erikdw

erikdw/setjdk.sh

Created February 5, 2018 21:23
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save erikdw/100dbf4e00e69554de1a62ca2a650b1f to your computer and use it in GitHub Desktop.
Save erikdw/100dbf4e00e69554de1a62ca2a650b1f to your computer and use it in GitHub Desktop.
Download ZIP
setjdk shell function. This is what I've used in zsh, should work in bash too.
Raw
setjdk.sh
# Example usage: setjdk 1.8
function setjdk {
local ver=${1?Usage: setjdk <version>}
export JAVA_HOME=$(/usr/libexec/java_home -v $ver)
PATH=$(echo $PATH | tr ':' '\n' | grep -v Java | tr '\n' ':')
export PATH=$JAVA_HOME/bin:$PATH
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment