diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-04-02 12:34:00 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-04-02 12:34:00 +0100 |
| commit | 5d56820e0ab1fc147b45728c6ac89c4ac0b90e54 (patch) | |
| tree | 678328312458f6ee06425b368d7bcfa97b02dad4 /reproduce/src/bash/git-pre-commit | |
| parent | 67b1fe89dc6ec608c69f04c19941db6e3679c1e3 (diff) | |
Copyright notice added to remaining files
After doing a systematic search for files without a copyright notice, a few
more were found that didn't have a notice. So a notice was added for them.
I used this Bash command to find the files:
for f in $(find ./ -type f); do \
if [[ $f != *.git* ]]; then \
n=$(grep -i copyright $f | wc -l); \
echo "$n $f"; \
fi; \
done | awk '$1==0'
Diffstat (limited to 'reproduce/src/bash/git-pre-commit')
| -rw-r--r-- | reproduce/src/bash/git-pre-commit | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/reproduce/src/bash/git-pre-commit b/reproduce/src/bash/git-pre-commit index 0fa6c52..cd06c25 100644 --- a/reproduce/src/bash/git-pre-commit +++ b/reproduce/src/bash/git-pre-commit @@ -4,10 +4,10 @@ # controlled files (with each commit) using the `metastore' program. # # This script is taken from the `examples/hooks/pre-commit' file of the -# `metastore' package (installed within the pipeline, with an MIT -# license). 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. +# `metastore' package (installed within the pipeline, 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. # # WARNING: # |