diff options
Diffstat (limited to 'reproduce/src/bash')
| -rwxr-xr-x | reproduce/src/bash/download-multi-try (renamed from reproduce/src/bash/download-multi-try.sh) | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/reproduce/src/bash/download-multi-try.sh b/reproduce/src/bash/download-multi-try index 31490c9..642908e 100755 --- a/reproduce/src/bash/download-multi-try.sh +++ b/reproduce/src/bash/download-multi-try @@ -1,6 +1,8 @@ #!.local/bin/bash # -# Try downloading multiple times before crashing whole pipeline +# Attempt downloading multiple times before crashing whole pipeline. From +# the top paper directory (for the shebang above), this script must be run +# like this: # # $ ./download-multi-try downloader lockfile input-url downloaded-name # |