diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-01-23 16:44:49 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-01-23 16:50:36 +0000 |
| commit | 464f088506987ab775f6b28687fe8155c006f8ad (patch) | |
| tree | 0a7d19d2214d6f443e71777622ae41ee154ffd6e /reproduce/src/bash/git-pre-commit | |
| parent | 796ed341fbeb9688eaabefe020977fba9f6f35f6 (diff) | |
Corrections in metastore's git hooks
Two corrections were made in the Git hooks of Metastore.
1) The shebang at the start of the scripts now uses the absolute adress of
our installed bash, not the relative `.local/bin/bash'. Note that it is
possible to use Git within subdirectories and in that scenario, the
`.local' will fail.
2) The `$$user' section was removed from the command to find the user's
group. With the user as an argument, `groups' may print the user's name
first, then their list of groups. When this happens, the script would
be just repeating the user's name. But the raw `groups' command will
list the groups of the running user.
Diffstat (limited to 'reproduce/src/bash/git-pre-commit')
| -rw-r--r-- | reproduce/src/bash/git-pre-commit | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/reproduce/src/bash/git-pre-commit b/reproduce/src/bash/git-pre-commit index 4373898..dbf7dc6 100644 --- a/reproduce/src/bash/git-pre-commit +++ b/reproduce/src/bash/git-pre-commit @@ -1,4 +1,4 @@ -#!.local/bin/bash +#!@BINDIR@/bash # # The example hook script to store the metadata information of version # controlled files (with each commit) using the `metastore' program. |