Switch easily between JDKs on OSx (to include in ~/.profile)

gistfile1.sh

# Usage: `setjdk 1.7` or `setjdk 1.8`
function removeFromPath() {
	export PATH=$(echo $PATH | sed -E -e "s;:$1;;" -e "s;$1:?;;")
}

function setjdk() {
	if [ $# -ne 0 ]; then
		removeFromPath '/System/Library/Frameworks/JavaVM.framework/Home/bin'
		if [ -n "${JAVA_HOME+x}" ]; then
			removeFromPath $JAVA_HOME
		fi
		export JAVA_HOME=`/usr/libexec/java_home -v $@`
		export PATH=$JAVA_HOME/bin:$PATH
		if [ -e "$SET_JAVA_HOME_FILE" ]; then
			rm $SET_JAVA_HOME_FILE
		fi
		touch $SET_JAVA_HOME_FILE
		echo $JAVA_HOME >> $SET_JAVA_HOME_FILE
		java -version
	fi
}

# Set current JAVA_HOME
SET_JAVA_HOME_FILE='/Users/sma/.set_java_home'
export JAVA_HOME=`cat $SET_JAVA_HOME_FILE`
if [ -n "$1" ]; then
	export PATH=$JAVA_HOME/bin:$PATH
fi