summaryrefslogtreecommitdiffstats
path: root/tools
diff options
context:
space:
mode:
authorHolger Weiss <holger@zedat.fu-berlin.de>2016-11-28 20:44:39 (GMT)
committerHolger Weiss <holger@zedat.fu-berlin.de>2016-11-28 20:44:39 (GMT)
commit5553c0be7cad028f10acd543c707425664c659cf (patch)
tree21ca333823ad9b348479c260000b4512a2e12153 /tools
parentea7d0f2ab1316518c95652cceed52e608151720f (diff)
downloadmonitoring-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-xtools/update-thanks2
1 files changed, 1 insertions, 1 deletions
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
34do 34do
35 if [ -n "$first" -a -n "$last" -a -z "$rest" ] 35 if [ -n "$first" -a -n "$last" -a -z "$rest" ]
36 then 36 then
37 if ! grep -q "^$first $last$" AUTHORS THANKS.in 37 if ! grep -q -i "^$first $last$" AUTHORS THANKS.in
38 then 38 then
39 echo "$first $last" >> THANKS.in 39 echo "$first $last" >> THANKS.in
40 fi 40 fi