Configure script starts with bin/bash shebang

While trying the pipeline on a remote server (which runs on Debian), the
configure script had an `Syntax error: "(" unexpected' error. This is
caused by the fact that in the Debian world (and its derivate OSs), the
default shell is not Bash but Dash which has much fewer features for fast
loading. It was thus necessary to start the configure script explicity with
the `/bin/bash' shebang.

2 files changed, 8 insertions, 1 deletions

diff --git a/README b/README
index 2de59ba..a322c17 100644
--- a/README
+++ b/README
@@ -85,6 +85,13 @@ Gnuastro, the version of the other programs will not make a difference.
   implementation and it is commonly already installed on most systems.
 
 
+  Bash
+  ----
+
+  Bash is the most common "shell" or command-line manager and available in
+  almost all systems (even if not the default). It doesn't need to be the
+  default for this pipeline to run.
+
 
   flock
   -----
diff --git a/configure b/configure
index 061a810..e1baae0 100755
--- a/configure
+++ b/configure
@@ -1,4 +1,4 @@
-#! /bin/sh
+#! /bin/bash
 #
 # Necessary preparations/configurations for the reproduction pipeline.
 #