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 /.gitignore | |
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 '.gitignore')
-rw-r--r-- | .gitignore | 16 |
1 files changed, 16 insertions, 0 deletions
@@ -1,3 +1,19 @@ +# Files to ignore in version control (Git) -*- conf-unix -*- +# ========================================================== +# +# The files satisfying the patterns here (one per line) are ignored by +# the version control using Git, they are all outputs of the various +# tools used to built Gnuastro, so we don't need to keep their +# history. +# +# To help readability, please add new files based on the length of the +# line you wish to add. +# +# Copying and distribution of this file, with or without modification, +# are permitted in any medium without royalty provided the copyright +# notice and this notice are preserved. This file is offered as-is, +# without any warranty. + *~ *.txt *.aux |