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)
commitcc33410b568962f385e19cf355994875fc7b8683
tree178bdb04ee5f3d17fa6f4668cff226b5aa27a100
parentb01fffd77f0cd22187c02522618a19556f2bb000
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