diff options
author | Holger Weiss <holger@zedat.fu-berlin.de> | 2016-11-28 21:44:39 +0100 |
---|---|---|
committer | Holger Weiss <holger@zedat.fu-berlin.de> | 2016-11-28 21:44:39 +0100 |
commit | 5553c0be7cad028f10acd543c707425664c659cf (patch) | |
tree | 21ca333823ad9b348479c260000b4512a2e12153 /tools | |
parent | ea7d0f2ab1316518c95652cceed52e608151720f (diff) | |
download | monitoring-plugins-5553c0be7cad028f10acd543c707425664c659cf.tar.gz |
tools/update-thanks: Match case-insensitively
When checking whether an author name already exists in the AUTHORS or
THANKS.in file, perform a case-insensitive match.
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/update-thanks | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/update-thanks b/tools/update-thanks index 27932f94..b0321e32 100755 --- a/tools/update-thanks +++ b/tools/update-thanks @@ -34,7 +34,7 @@ git log --pretty='%an' "$since.." | sort -u | while read first last rest do if [ -n "$first" -a -n "$last" -a -z "$rest" ] then - if ! grep -q "^$first $last$" AUTHORS THANKS.in + if ! grep -q -i "^$first $last$" AUTHORS THANKS.in then echo "$first $last" >> THANKS.in fi |