view scripts/setjava.sh @ 349:45fc06cbb6b2

use github system properties
author Marc Davis <marc.davis@mcoecn.org>
date Wed, 26 Jul 2023 08:30:15 -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