[monitoring-plugins] tools/update-thanks: Match case-insensitively
Holger Weiss <[email protected]> Mon, 28 Nov 2016 21:50:12 +0100 (CET)
| Newsgroups | gmane.network.nagios.cvs |
|---|---|
| Message-ID | <20161128205012.193972008397__6465.62985280088$1480366218$gmane$org@orwell.monitoring-plugins.org> |
Module: monitoring-plugins Branch: master Commit: 5553c0be7cad028f10acd543c707425664c659cf Author: Holger Weiss <[email protected]> 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