diff options
Diffstat (limited to 'reproduce/src/bash')
| -rwxr-xr-x | reproduce/src/bash/download-multi-try | 15 | ||||
| -rw-r--r-- | reproduce/src/bash/git-post-checkout | 8 | ||||
| -rw-r--r-- | reproduce/src/bash/git-pre-commit | 8 |
3 files changed, 18 insertions, 13 deletions
diff --git a/reproduce/src/bash/download-multi-try b/reproduce/src/bash/download-multi-try index 1be2ffa..cdeca8e 100755 --- a/reproduce/src/bash/download-multi-try +++ b/reproduce/src/bash/download-multi-try @@ -1,11 +1,13 @@ -#!.local/bin/bash -# # Attempt downloading multiple times before crashing whole pipeline. From # the top project directory (for the shebang above), this script must be # run like this: # # $ /path/to/download-multi-try downloader lockfile input-url downloaded-name # +# NOTE: The `downloader' must contain the option to specify the output name +# in its end. For example "wget -O". Any other option can also be placed in +# the middle. +# # Due to temporary network problems, a download may fail suddenly, but # succeed in a second try a few seconds later. Without this script that # temporary glitch in the network will permanently crash the pipeline and @@ -70,7 +72,7 @@ fi -# Try downloading multiple times before crashing +# Try downloading multiple times before crashing. counter=0 maxcounter=10 while [ ! -f "$outname" ]; do @@ -97,9 +99,12 @@ while [ ! -f "$outname" ]; do sleep $tstep fi - # Attempt downloading the file (one-at-a-time). + # Attempt downloading the file (one-at-a-time). Note that the + # `downloader' ends with the respective option to specify the output + # name. For example "wget -O" (so `outname', that comes after it) will + # be the name of the downloaded file. flock "$lockfile" bash -c \ - "if ! $downloader -O$outname $inurl; then rm -f $outname; fi" + "if ! $downloader $outname $inurl; then rm -f $outname; fi" done diff --git a/reproduce/src/bash/git-post-checkout b/reproduce/src/bash/git-post-checkout index 153b277..a56c21f 100644 --- a/reproduce/src/bash/git-post-checkout +++ b/reproduce/src/bash/git-post-checkout @@ -4,10 +4,10 @@ # controlled files (with each commit) using the `metastore' program. # # This script is taken from the `examples/hooks/pre-commit' file of the -# `metastore' package (installed within the pipeline, with an MIT -# license). We have just changed the name of the `MSFILE' and also set -# special characters for the installation location of meta-store so our own -# installation is found by Git. +# `metastore' package (installed within the pipeline, with an MIT license +# for copyright). We have just changed the name of the `MSFILE' and also +# set special characters for the installation location of meta-store so our +# own installation is found by Git. # File containig the metadata and metastore executable. MSFILE=".file-metadata" diff --git a/reproduce/src/bash/git-pre-commit b/reproduce/src/bash/git-pre-commit index 0fa6c52..cd06c25 100644 --- a/reproduce/src/bash/git-pre-commit +++ b/reproduce/src/bash/git-pre-commit @@ -4,10 +4,10 @@ # controlled files (with each commit) using the `metastore' program. # # This script is taken from the `examples/hooks/pre-commit' file of the -# `metastore' package (installed within the pipeline, with an MIT -# license). We have just changed the name of the `MSFILE' and also set -# special characters for the installation location of meta-store so our own -# installation is found by Git. +# `metastore' package (installed within the pipeline, with an MIT license +# for copyright). We have just changed the name of the `MSFILE' and also +# set special characters for the installation location of meta-store so our +# own installation is found by Git. # # WARNING: # |