view scripts/setjava.sh @ 292:2307b12a55e6

merge
author Marc Davis <marc.davis@mcoecn.org>
date Mon, 22 Aug 2022 14:34:04 -0400
parents 7a17678c9a73
children
line wrap: on
line source
#!/bin/bash

if [ "${1}" == "7" ]
then
  export JAVA_HOME=$JAVA7
else
  export JAVA_HOME=$JAVA8
fi

IFS=':'
CYGWIN=nodosfilewarning
PATHNEW=''
for A in ${PATH}
do

  if [[ "$A" != *"Java"* || "$A" != *"jdk"* || "$A" == *"java"* ]] 
  then
    PATHNEW=$PATHNEW:"$A"
  fi
 
done
export PATH=$JAVA_HOME/bin$PATHNEW

# Output
echo -e "JAVA_HOME\t" $JAVA_HOME
echo -e "PATH"
for A in ${PATH}
do
  echo "${A}"
done