Mercurial > hg > zsh-env
view zshrc-jdk @ 140:abc3d303adde
add alias to ping a public IP
author | Dirk Olmes <dirk@xanthippe.ping.de> |
---|---|
date | Wed, 04 Jul 2018 17:04:39 +0200 |
parents | 3dd5b3b873aa |
children | 870bb3be824f |
line wrap: on
line source
# # zshrc for handling different Maven versions # switchJdk() { local jdkName="$1" local new_path=`removeFromPath "jdk"` export JAVA_HOME=`/usr/bin/java-config-2 --select-vm=${jdkName} -O` export JAVAC=${JAVA_HOME}/bin/javac export JDK_HOME=${JAVA_HOME} export PATH="${JAVA_HOME}/bin":"${new_path}" java -version } jdk8() { switchJdk "oracle-jdk-bin-1.8" } jdk10() { export JAVA_HOME=/opt/jdk-10.0.1 local new_path=`removeFromPath "jdk"` export PATH="${JAVA_HOME}/bin":"${new_path}" java -version }