Module: monitoring-plugins
Branch: master
Commit: 5553c0be7cad028f10acd543c707425664c659cf
Author: Holger Weiss <hol...@zedat.fu-berlin.de>
Date: Mon Nov 28 21:44:39 2016 +0100
URL:
https://www.monitoring-plugins.org/repositories/monitoring-plugins/commit/?id=5553c0b
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.
---
tools/update-thanks | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/tools/update-thanks b/tools/update-thanks
index 27932f9..b0321e3 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
