Skip to content

Instantly share code, notes, and snippets.

@kenshin579
Created October 24, 2018 06:08
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 kenshin579/bc591ccdcdd3f36bd2f653762e26cdd8 to your computer and use it in GitHub Desktop.
Save kenshin579/bc591ccdcdd3f36bd2f653762e26cdd8 to your computer and use it in GitHub Desktop.
java JDK switches 쉽게 할 수 있는 zsh shell function
# Switch to different Java version
jhome_usage() {
echo "jhome - switch to different JDK version"
echo "Usage: jhome [-h] [-v VERSION]"
echo
echo " -h : display usage"
echo " -v : specific JDK version to switch"
echo
echo "Examples: "
echo "># jhome -v 1.8 : switches to JDK8"
echo "># jhome -v 11 : switches to JDK"
echo "># jhome : display all installed JDK and display current JDK"
}
jhome () {
if [ "$1" = "-h" ] ; then
jhome_usage
fi
if [ "$#" -eq 0 ] ; then
/usr/libexec/java_home -V
fi
if [ "$#" -eq 2 ] && [ "$1" = "-v" ] ; then
export JAVA_HOME=`/usr/libexec/java_home $@`
echo "Setting JAVA_HOME:" $JAVA_HOME
echo
echo "Added JAVA_HOME/bin to PATH"
PATH=$PATH:$JAVA_HOME/bin
echo $PATH
echo
java -version
fi
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment