chiark
/
gitweb
/
~yarrgweb
/
jarrg-ian.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
e5c47bf
)
Java directory searching: accept java-*
author
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Sat, 8 Apr 2023 10:12:40 +0000
(11:12 +0100)
committer
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Sat, 8 Apr 2023 16:11:38 +0000
(17:11 +0100)
jarrg
patch
|
blob
|
history
diff --git
a/jarrg
b/jarrg
index 14c8fd99ba857e9ed389aedb21351963d1138999..2b7b1939eabf47ac5e2d5d4fde9b0856da95cce2 100755
(executable)
--- a/
jarrg
+++ b/
jarrg
@@
-132,6
+132,7
@@
else
echo " jre leaf dir: \"$jreleaf\""
case "$jreleaf" in
jre) echo " found jre directory, good";;
+ java-*) echo " found java directory, good";;
jre1.*) echo " found versioned jre directory $jreleaf, ok";;
*) nojre "java binary not in jre dir ($jreleaf)";;
esac