diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-04-14 17:48:40 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-04-14 17:49:55 +0100 |
| commit | 4722ea598edd6b630227404c48c1c09ac527e9b8 (patch) | |
| tree | d003841e5b986b01ef3a14cdf74b5a714261eff9 /reproduce/src/bash | |
| parent | ece9eedff7857d58ed2d0f9f63ce6e28690982e1 (diff) | |
Replaced all occurances of pipeline in text
All occurances of "pipeline" have been chanaged to "project" or "template"
withint the text (comments, READMEs, and comments) of the template. The
main template branch is now also named `template'.
This was all because `pipeline' is too generic and couldn't be
distinguished from the base, and customized project.
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. |