Skip to content

Instantly share code, notes, and snippets.

@jsuereth
Created March 30, 2015 13:41
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 jsuereth/affb371d4e25c2728cb0 to your computer and use it in GitHub Desktop.
Save jsuereth/affb371d4e25c2728cb0 to your computer and use it in GitHub Desktop.
Script for loading sbt with a particular JDK in ubuntu.
#!/bin/bash
declare -r java_dirs=$(ls /usr/lib/jvm)
declare -r default_java=java-6-openjdk-amd64
function findJavaHome() {
if test "$1" == ""; then
java_version="$default_java"
else
java_version="$1"
fi
for dir in $java_dirs; do
java_dir="/usr/lib/jvm/$dir"
if test -d "$java_dir"; then
if [[ "$(echo $dir | grep $java_version)" != "" ]]; then
echo $java_dir
break
fi
fi
done
}
export JAVA_HOME=$(findJavaHome "$1")
echo "Selected JDK - ${JAVA_HOME}"
shift
sbt -java-home "$JAVA_HOME" "$@"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment