Skip to content

Instantly share code, notes, and snippets.

@danhaywood
Created March 4, 2022 14:43
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 danhaywood/ecb64934d112ee0f4df0e7a7094d2063 to your computer and use it in GitHub Desktop.
Save danhaywood/ecb64934d112ee0f4df0e7a7094d2063 to your computer and use it in GitHub Desktop.
script to update PATH and JAVA_HOME to JDK 8 (running on cygwin)
#!/bin/bash
#
# usage:
# . j8
#
JH8=$(echo $JAVA_HOME8 | sed 's/\\/\//g' | sed 's/C:/\/c/ig')
JH11=$(echo $JAVA_HOME11 | sed 's/\\/\//g' | sed 's/C:/\/c/ig')
JH8_bin="${JH8}/bin"
JH11_bin="${JH11}/bin"
UNPACKED_PATH=/tmp/$$.1
echo $PATH | sed "s/:/\n/g" > $UNPACKED_PATH
UPDATED_PATH=""
while read line
do
TO_APPEND=""
if [ "$line" = "$JH11_bin" ]
then
TO_APPEND=$JH8_bin
else
TO_APPEND=$line
fi
if [ "$UPDATED_PATH" = "" ]
then
UPDATED_PATH="$TO_APPEND"
else
UPDATED_PATH="$UPDATED_PATH:$TO_APPEND"
fi
done < $UNPACKED_PATH
rm $UNPACKED_PATH
export PATH=$UPDATED_PATH
export JAVA_HOME=$JAVA_HOME8
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment