diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-02-06 18:23:33 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-02-06 18:25:56 +0000 |
| commit | b506248839c0c1f63f51bcb0ff6a586426d722f4 (patch) | |
| tree | 5421f285ec3ec43f427471f58a520052100f928f /reproduce/src | |
| parent | 340a7ece34013345e1520dcac38218b7d41c7c26 (diff) | |
Minor correction in description of downloading wrapper
In the example running code of the wrapper script, I had just written
`./download-multi-try', but this script is meant to be run from the top of
the project directory. This could cause confusion.
So the example script now starts with `/path/to/download-multi-try'.
Diffstat (limited to 'reproduce/src')
| -rwxr-xr-x | reproduce/src/bash/download-multi-try | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/reproduce/src/bash/download-multi-try b/reproduce/src/bash/download-multi-try index 642908e..1be2ffa 100755 --- a/reproduce/src/bash/download-multi-try +++ b/reproduce/src/bash/download-multi-try @@ -1,10 +1,10 @@ #!.local/bin/bash # # Attempt downloading multiple times before crashing whole pipeline. From -# the top paper directory (for the shebang above), this script must be run -# like this: +# the top project directory (for the shebang above), this script must be +# run like this: # -# $ ./download-multi-try downloader lockfile input-url downloaded-name +# $ /path/to/download-multi-try downloader lockfile input-url downloaded-name # # Due to temporary network problems, a download may fail suddenly, but # succeed in a second try a few seconds later. Without this script that |