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 /for-group | |
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 'for-group')
-rwxr-xr-x | for-group | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -6,12 +6,13 @@ # $ ./for-group group_name make [OPTIONS] # # This is a wrapper for the configure and Make steps designed for a group -# of users (sharing the same group name) using this pipeline on the same +# of users (sharing the same group name) working on the project in the same # build directory. # # When the configuration (normally done with `./configure') and build # (normally done with `.local/bin/make') steps are done with this script, -# all the files that are created within the pipeline have these properties: +# all the files that are created within the project will have these +# properties: # # 1) Group owner will be the group specified in the command-line. # 2) The permission flags give write access to the group members. |