aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2019-05-09 16:06:09 +0100
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2019-05-09 16:06:09 +0100
commitd53692170b005c24bcaf73962cb8a13a26b599ef (patch)
tree840c43ded212d73f8de31b4880dafc6b8bf0b796
parent0dd3569305596284ab8c168874e3c25faad0ef05 (diff)
download-multi-try now starts with a /bin/bash shebang
Until now, the `download-multi-try' script assumed GNU Bash features (when comparing the number of attempts at downloading), but it didn't explicitly ask the operating system to be run with Bash. As a result, when weaker shells were used (like the default Debian minimalist `dash' shell), the `>' ("larger than" operator in a math context) is interpreted a redirection and two extra files are created: `1' and `maxcount'! With this commit, we now start this script with `/bin/bash'. Ofcourse, this will assume that the host has GNU Bash installed, but we are also making this assumption in the configure script. So atleast for now, Bash (any version) is a critical dependency of this template anyway.
-rwxr-xr-xreproduce/analysis/bash/download-multi-try2
1 files changed, 2 insertions, 0 deletions
diff --git a/reproduce/analysis/bash/download-multi-try b/reproduce/analysis/bash/download-multi-try
index 1fd7497..03472b3 100755
--- a/reproduce/analysis/bash/download-multi-try
+++ b/reproduce/analysis/bash/download-multi-try
@@ -1,3 +1,5 @@
+#!/bin/bash
+#
# Attempt downloading multiple times before crashing whole project. From
# the top project directory (for the shebang above), this script must be
# run like this: