function __env_ideajava8() { export PATH=/opt/idea-iu15/bin:$PATH export JAVA_HOME=/usr/lib/jvm/java-8.66-oraclejdk export PATH=$JAVA_HOME/bin:$PATH export PATH=/opt/gwt-chromium/bin:$PATH export PATH=/opt/grails3/bin:$PATH export PATH=/opt/cern-scripts/bin:$PATH export TNS_ADMIN=/home/yfischer/.cache/tnsnames/admin_localhost export JAVA_OPTS="-Doracle.net.tns_admin=$TNS_ADMIN" export GRADLE_OPTS="-Doracle.net.tns_admin=$TNS_ADMIN" export PATH=/opt/gwt-chromium/bin:$PATH } function __env_fwk24() { export PATH=/opt/idea-iu15/bin:$PATH export PATH=/opt/gwt-chromium/bin:$PATH export PATH=/opt/grails2.2.1/bin:$PATH export PATH=/opt/cern-scripts/bin:$PATH export TNS_ADMIN=/home/yfischer/.cache/tnsnames/admin_localhost export JAVA_OPTS="-Doracle.net.tns_admin=$TNS_ADMIN" export GRADLE_OPTS="-Doracle.net.tns_admin=$TNS_ADMIN" export JAVA_HOME=/usr/lib/jvm/java-7-openjdk-amd64/ export PATH=$JAVA_HOME/bin:$PATH }