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 /reproduce/software/bash/git-pre-commit | |
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.
Diffstat (limited to 'reproduce/software/bash/git-pre-commit')
0 files changed, 0 insertions, 0 deletions