Loading scripts/devenv.bash.ubuntu +11 −11 Original line number Diff line number Diff line Loading @@ -36,15 +36,15 @@ fi # Add JAVA support export JAVA_VERSION=1.8.0_92 export JAVA_JDK=jdk${JAVA_VERSION} if [ -d "${HOME_FRAMEWORKS}/${JAVA_JDK}" ] then export JAVA_HOME=${HOME_FRAMEWORKS}/${JAVA_JDK}/bin else unset JAVA_VERSION unset JAVA_JDK fi #export JAVA_VERSION=1.8.0_92 #export JAVA_JDK=jdk${JAVA_VERSION} #if [ -d "${HOME_FRAMEWORKS}/${JAVA_JDK}" ] #then # export JAVA_HOME=${HOME_FRAMEWORKS}/${JAVA_JDK}/bin #else # unset JAVA_VERSION # unset JAVA_JDK #fi # Add TITAN support export TOP=${HOME_FRAMEWORKS}/titan/titan.core Loading @@ -58,9 +58,9 @@ then export TTCN3_LICENSE_FILE=${TTCN3_DIR}/etc/license/license.dat export PATH_DEV_TTCN=${HOME}/dev/ttcn3 # ITS support export PATH_DEV_ITS=${HOME}/TriesAndDelete/etsi_its export PATH_DEV_ITS=${HOME}/dev/etsi_its # Emergency Communication support export PATH_DEV_EMCOM=${HOME}/TriesAndDelete/etsi_emcom export PATH_DEV_EMCOM=${HOME}/dev/etsi_emcom fi export BROWSER=netsurf Loading
scripts/devenv.bash.ubuntu +11 −11 Original line number Diff line number Diff line Loading @@ -36,15 +36,15 @@ fi # Add JAVA support export JAVA_VERSION=1.8.0_92 export JAVA_JDK=jdk${JAVA_VERSION} if [ -d "${HOME_FRAMEWORKS}/${JAVA_JDK}" ] then export JAVA_HOME=${HOME_FRAMEWORKS}/${JAVA_JDK}/bin else unset JAVA_VERSION unset JAVA_JDK fi #export JAVA_VERSION=1.8.0_92 #export JAVA_JDK=jdk${JAVA_VERSION} #if [ -d "${HOME_FRAMEWORKS}/${JAVA_JDK}" ] #then # export JAVA_HOME=${HOME_FRAMEWORKS}/${JAVA_JDK}/bin #else # unset JAVA_VERSION # unset JAVA_JDK #fi # Add TITAN support export TOP=${HOME_FRAMEWORKS}/titan/titan.core Loading @@ -58,9 +58,9 @@ then export TTCN3_LICENSE_FILE=${TTCN3_DIR}/etc/license/license.dat export PATH_DEV_TTCN=${HOME}/dev/ttcn3 # ITS support export PATH_DEV_ITS=${HOME}/TriesAndDelete/etsi_its export PATH_DEV_ITS=${HOME}/dev/etsi_its # Emergency Communication support export PATH_DEV_EMCOM=${HOME}/TriesAndDelete/etsi_emcom export PATH_DEV_EMCOM=${HOME}/dev/etsi_emcom fi export BROWSER=netsurf