diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-04-02 12:45:58 +0100 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-04-02 12:45:58 +0100 |
commit | 77001293a64932949049e439efecd792aa3b2d12 (patch) | |
tree | 77abf82c4feffe9a24a72a2426366cdb466b7968 /reproduce/src/bash/download-multi-try | |
parent | 5d56820e0ab1fc147b45728c6ac89c4ac0b90e54 (diff) |
.gitignore with copyright using better search for copyright notice
In the previous commit, a copyright notice was added after a systematic
search of the version controlled files. However, we missed `.gitignore'
(because we were discarding those with the `*.git*' pattern to avoid files
in the `.git' directory). This has been fixed by using this command (in the
top project directory) instead:
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/download-multi-try')
0 files changed, 0 insertions, 0 deletions