The shell scripts that come with Jena start with #!/bin/bash. This is
a non-standard shell, meaning there is no guarantee that bash is
installed on a system or is installed in that location. BSD systems,
for example, have bash as a 3rd party add-on in
/usr/local/bin. Similarly for HP-UX and at least older Solaris.

Nothing in the shell scripts uses any fancy features of bash, so
actually it is unnecessary. The attached patch changes these lines to
#!/bin/sh where we can expect a posix-compliant bourne shell to live.

Cheers,
-w
diff -u bin.dist/arq bin/arq
--- bin.dist/arq	2012-01-31 10:07:18.000000000 +0000
+++ bin/arq	2012-01-31 10:09:17.000000000 +0000
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh

 ROOT="$JENAROOT"
 if [ -z "$ROOT" ]
diff -u bin.dist/infer bin/infer
--- bin.dist/infer	2012-01-31 10:07:18.000000000 +0000
+++ bin/infer	2012-01-31 10:09:17.000000000 +0000
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh

 ROOT="$JENAROOT"
 if [ -z "$ROOT" ]
diff -u bin.dist/iri bin/iri
--- bin.dist/iri	2012-01-31 10:07:18.000000000 +0000
+++ bin/iri	2012-01-31 10:09:17.000000000 +0000
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh

 ROOT="$JENAROOT"
 if [ -z "$ROOT" ]
diff -u bin.dist/juuid bin/juuid
--- bin.dist/juuid	2012-01-31 10:07:18.000000000 +0000
+++ bin/juuid	2012-01-31 10:09:17.000000000 +0000
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh

 ROOT="$JENAROOT"
 if [ -z "$ROOT" ]
diff -u bin.dist/nquads bin/nquads
--- bin.dist/nquads	2012-01-31 10:07:18.000000000 +0000
+++ bin/nquads	2012-01-31 10:09:17.000000000 +0000
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh

 ROOT="$JENAROOT"
 if [ -z "$ROOT" ]
diff -u bin.dist/ntriples bin/ntriples
--- bin.dist/ntriples	2012-01-31 10:07:18.000000000 +0000
+++ bin/ntriples	2012-01-31 10:09:17.000000000 +0000
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh

 ROOT="$JENAROOT"
 if [ -z "$ROOT" ]
diff -u bin.dist/qparse bin/qparse
--- bin.dist/qparse	2012-01-31 10:07:18.000000000 +0000
+++ bin/qparse	2012-01-31 10:09:17.000000000 +0000
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh

 ROOT="$JENAROOT"
 if [ -z "$ROOT" ]
diff -u bin.dist/rdfcat bin/rdfcat
--- bin.dist/rdfcat	2012-01-31 10:07:18.000000000 +0000
+++ bin/rdfcat	2012-01-31 10:09:17.000000000 +0000
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh

 ROOT="$JENAROOT"
 if [ -z "$ROOT" ]
diff -u bin.dist/rdfcompare bin/rdfcompare
--- bin.dist/rdfcompare	2012-01-31 10:07:18.000000000 +0000
+++ bin/rdfcompare	2012-01-31 10:09:17.000000000 +0000
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh

 ROOT="$JENAROOT"
 if [ -z "$ROOT" ]
diff -u bin.dist/rdfcopy bin/rdfcopy
--- bin.dist/rdfcopy	2012-01-31 10:07:18.000000000 +0000
+++ bin/rdfcopy	2012-01-31 10:09:17.000000000 +0000
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh

 ROOT="$JENAROOT"
 if [ -z "$ROOT" ]
diff -u bin.dist/rdfparse bin/rdfparse
--- bin.dist/rdfparse	2012-01-31 10:07:18.000000000 +0000
+++ bin/rdfparse	2012-01-31 10:09:17.000000000 +0000
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh

 ROOT="$JENAROOT"
 if [ -z "$ROOT" ]
diff -u bin.dist/riot bin/riot
--- bin.dist/riot	2012-01-31 10:07:18.000000000 +0000
+++ bin/riot	2012-01-31 10:09:17.000000000 +0000
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh

 ROOT="$JENAROOT"
 if [ -z "$ROOT" ]
diff -u bin.dist/rset bin/rset
--- bin.dist/rset	2012-01-31 10:07:18.000000000 +0000
+++ bin/rset	2012-01-31 10:09:17.000000000 +0000
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh

 ROOT="$JENAROOT"
 if [ -z "$ROOT" ]
diff -u bin.dist/rsparql bin/rsparql
--- bin.dist/rsparql	2012-01-31 10:07:18.000000000 +0000
+++ bin/rsparql	2012-01-31 10:09:17.000000000 +0000
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh

 ROOT="$JENAROOT"
 if [ -z "$ROOT" ]
diff -u bin.dist/sparql bin/sparql
--- bin.dist/sparql	2012-01-31 10:07:18.000000000 +0000
+++ bin/sparql	2012-01-31 10:09:17.000000000 +0000
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh

 ROOT="$JENAROOT"
 if [ -z "$ROOT" ]
diff -u bin.dist/trig bin/trig
--- bin.dist/trig	2012-01-31 10:07:18.000000000 +0000
+++ bin/trig	2012-01-31 10:09:17.000000000 +0000
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh

 ROOT="$JENAROOT"
 if [ -z "$ROOT" ]
diff -u bin.dist/turtle bin/turtle
--- bin.dist/turtle	2012-01-31 10:07:18.000000000 +0000
+++ bin/turtle	2012-01-31 10:09:17.000000000 +0000
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh

 ROOT="$JENAROOT"
 if [ -z "$ROOT" ]
diff -u bin.dist/uparse bin/uparse
--- bin.dist/uparse	2012-01-31 10:07:18.000000000 +0000
+++ bin/uparse	2012-01-31 10:09:17.000000000 +0000
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh

 ROOT="$JENAROOT"
 if [ -z "$ROOT" ]
diff -u bin.dist/update bin/update
--- bin.dist/update	2012-01-31 10:07:18.000000000 +0000
+++ bin/update	2012-01-31 10:09:17.000000000 +0000
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh

 ROOT="$JENAROOT"
 if [ -z "$ROOT" ]
diff -u bin.dist/utf8 bin/utf8
--- bin.dist/utf8	2012-01-31 10:07:18.000000000 +0000
+++ bin/utf8	2012-01-31 10:09:17.000000000 +0000
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh

 ROOT="$JENAROOT"
 if [ -z "$ROOT" ]
diff -u bin.dist/wwwdec bin/wwwdec
--- bin.dist/wwwdec	2012-01-31 10:07:18.000000000 +0000
+++ bin/wwwdec	2012-01-31 10:09:17.000000000 +0000
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh

 ROOT="$JENAROOT"
 if [ -z "$ROOT" ]
diff -u bin.dist/wwwenc bin/wwwenc
--- bin.dist/wwwenc	2012-01-31 10:07:18.000000000 +0000
+++ bin/wwwenc	2012-01-31 10:09:17.000000000 +0000
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh

 ROOT="$JENAROOT"
 if [ -z "$ROOT" ]

Attachment: pgpeehFcla3P1.pgp
Description: PGP signature

Reply via email to