aboutsummaryrefslogtreecommitdiff
path: root/reproduce/src/bash/git-pre-commit
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2019-02-05 18:19:46 +0000
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2019-02-05 18:19:46 +0000
commit438e1970093621d3c67acc900b17afdeaa60329f (patch)
tree2e97ac257f1548973a5e28333bca5e0c2713f637 /reproduce/src/bash/git-pre-commit
parentf41be41e376dfd521881ad2e6137360e549777de (diff)
for-group: better check of group name and fixed make argument
A few issues came up while testing the `for-group' script in one of the projects based on this pipeline that are being fixed with this commit: 1) We are ultimately using the `sg' command to use the specified group, not `chgrp'. So in cases where `chgrp' has problems, this would cause a wrong error. So for the test of the given group's existance, we are now directly calling `sg'. 2) In the call to `make' we were mistakenly giving make the `$2' (which is `make' on the command-line) argument. Since `./for-group' now takes the group name as its first argument, this should have been `$3'. 3) To help in readability, and also allow for group names with a space, `reproducible_paper_group_name' is now defined and exported before the final call to `sg'.
Diffstat (limited to 'reproduce/src/bash/git-pre-commit')
0 files changed, 0 insertions, 0 deletions