diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-05-09 16:06:09 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-05-09 16:06:09 +0100 |
| commit | d53692170b005c24bcaf73962cb8a13a26b599ef (patch) | |
| tree | 840c43ded212d73f8de31b4880dafc6b8bf0b796 | |
| parent | 0dd3569305596284ab8c168874e3c25faad0ef05 (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-x | reproduce/analysis/bash/download-multi-try | 2 |
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: |