updated to use java itself to get JAVA_HOME
authorChris Koeritz <fred@gruntose.com>
Wed, 17 Jun 2020 15:26:45 +0000 (11:26 -0400)
committerChris Koeritz <fred@gruntose.com>
Wed, 17 Jun 2020 15:26:45 +0000 (11:26 -0400)
commit7b1fb161fbafd498ff6aade974334edace7e0d6e
tree178bdb04ee5f3d17fa6f4668cff226b5aa27a100
parent7091f47876880d2aaebd1804fd3d1f002c855273
updated to use java itself to get JAVA_HOME

this is the best approach possible if the desired version of java is already in your path.
our previous implementation is a guessing game and is dysfunctional.  "is", since it's still in place if the call to java fails.
scripts/customize/fred/java_profile.sh