diff options
Diffstat (limited to 'reproduce/src/bash')
| -rwxr-xr-x | reproduce/src/bash/download-multi-try | 8 | ||||
| -rw-r--r-- | reproduce/src/bash/git-post-checkout | 2 | ||||
| -rw-r--r-- | reproduce/src/bash/git-pre-commit | 2 |
3 files changed, 6 insertions, 6 deletions
diff --git a/reproduce/src/bash/download-multi-try b/reproduce/src/bash/download-multi-try index 2399b5d..1fd7497 100755 --- a/reproduce/src/bash/download-multi-try +++ b/reproduce/src/bash/download-multi-try @@ -1,4 +1,4 @@ -# Attempt downloading multiple times before crashing whole pipeline. From +# Attempt downloading multiple times before crashing whole project. From # the top project directory (for the shebang above), this script must be # run like this: # @@ -10,13 +10,13 @@ # # 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 +# temporary glitch in the network will permanently crash the project and # it can't continue. The job of this script is to be patient and try the -# download multiple times before crashing the whole pipeline. +# download multiple times before crashing the whole project. # # LOCK FILE: Since there is ultimately only one network port to the outside # world, downloading is done much faster in serial, not in parallel. But -# the pipeline's processing may be done in parallel (with multiple threads +# the project's processing may be done in parallel (with multiple threads # needing to download different files at the same time). Therefore, this # script uses the `flock' program to only do one download at a time. To # benefit from it, any call to this script must be given the same lock diff --git a/reproduce/src/bash/git-post-checkout b/reproduce/src/bash/git-post-checkout index ef85c44..9552f01 100644 --- a/reproduce/src/bash/git-post-checkout +++ b/reproduce/src/bash/git-post-checkout @@ -7,7 +7,7 @@ # Copyright (C) 2018-2019 Mohammad Akhlaghi <mohammad@akhlaghi.org> # # This script is taken from the `examples/hooks/pre-commit' file of the -# `metastore' package (installed within the pipeline, with an MIT license +# `metastore' package (installed within the project, 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. diff --git a/reproduce/src/bash/git-pre-commit b/reproduce/src/bash/git-pre-commit index 09abce7..dbe0ecc 100644 --- a/reproduce/src/bash/git-pre-commit +++ b/reproduce/src/bash/git-pre-commit @@ -18,7 +18,7 @@ # git checkout HEAD -- .metadata # # This script is taken from the `examples/hooks/pre-commit' file of the -# `metastore' package (installed within the pipeline, with an MIT license +# `metastore' package (installed within the project, with an MIT license # for copyright). Here, 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. |