upstream/monitoring-plugins
1
0
Fork 0
mirror of https://github.com/monitoring-plugins/monitoring-plugins.git synced 2026-05-28 04:35:40 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

tools/update-thanks: Match case-insensitively

Browse source 
When checking whether an author name already exists in the AUTHORS or
THANKS.in file, perform a case-insensitive match.
This commit is contained in:
Holger Weiss 2016-11-28 21:44:39 +01:00
parent ea7d0f2ab1
commit 5553c0be7c
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
tools/update-thanks
View file

@ -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