diff options
| author | Jerry Haltom <wasabi@larvalstage.net> | 2005-07-07 21:39:46 +0000 |
|---|---|---|
| committer | Jerry Haltom <wasabi@larvalstage.net> | 2005-07-07 21:39:46 +0000 |
| commit | ee9f96d7a52ddeb8e4cdd462adb091f13ec3e4e6 (patch) | |
| tree | 5a5728fd8cb9643a3eb358fb4accfb725d9e807f /share/java-common.sh | |
| parent | f8f05484db54ab469fd6157936bd3a6a4939f3f7 (diff) | |
| download | java-common-ee9f96d7a52ddeb8e4cdd462adb091f13ec3e4e6.tar.gz | |
New JVM selection scripts.
Diffstat (limited to 'share/java-common.sh')
| -rw-r--r-- | share/java-common.sh | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/share/java-common.sh b/share/java-common.sh new file mode 100644 index 0000000..c0db858 --- /dev/null +++ b/share/java-common.sh @@ -0,0 +1,36 @@ +function jvm_scan_file() { + file="$1" + + grep -v '#' "$file" | while read jvm; do + if [ -n "$jvm" -a -x "$jvm/bin/java" ]; then + echo -n $jvm + return + fi + done +} + +function jvm_find() { + local jvm + + if [ -n "$JAVA_HOME" ]; then + jvm="$JAVA_HOME" + fi + + for file in \ + "$HOME/.jvm.d/$1" \ + "$HOME/.jvm" \ + "/etc/jvm.d/$1" \ + "/etc/jvm"; do \ + if [ -z "$jvm" ]; then + if [ -r "$file" ]; then + jvm="$(jvm_scan_file "$file")" + fi + fi + done + + echo -n "$jvm" +} + +function jvm_config() { + echo JAVA_HOME="$(jvm_find "$1")" +} |
