aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--README7
-rwxr-xr-xconfigure2
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.
#