From af7670cf7640945003bed5787a0d319b82d2f1a6 Mon Sep 17 00:00:00 2001 From: Daniel Stenberg Date: Thu, 25 May 2023 14:59:21 +0200 Subject: [PATCH] scripts/contri*sh: no longer grep -v ' ' Originally these scripts filtered out names that have no space so that they better avoid nick names not intended for credits. Such names are not too commonly used, plus we now give credit even to those. Additionally: non-latin names, like Asian, don't have spaces at all so they were also filtered out and had to be manually added which made it an error-prone operation where Asian names eventually easily fell off by mistake. Closes #11206 --- scripts/contributors.sh | 18 +++++++++--------- scripts/contrithanks.sh | 1 - 2 files changed, 9 insertions(+), 10 deletions(-) diff --git a/scripts/contributors.sh b/scripts/contributors.sh index 7b1cda3855..90ea5c94d7 100755 --- a/scripts/contributors.sh +++ b/scripts/contributors.sh @@ -78,18 +78,18 @@ sed 's/^ *//' )| \ sed -f ./docs/THANKS-filter | \ -grep -a ' ' | \ sort -fu | \ awk '{ - num++; - n = sprintf("%s%s%s,", n, length(n)?" ":"", $0); - #print n; - if(length(n) > 77) { - printf(" %s\n", p); - n=sprintf("%s,", $0); + if(length($0)) { + num++; + n = sprintf("%s%s%s,", n, length(n)?" ":"", $0); + #print n; + if(length(n) > 77) { + printf(" %s\n", p); + n=sprintf("%s,", $0); + } + p=n; } - p=n; - } END { diff --git a/scripts/contrithanks.sh b/scripts/contrithanks.sh index 46853da9a0..b188422881 100755 --- a/scripts/contrithanks.sh +++ b/scripts/contrithanks.sh @@ -73,6 +73,5 @@ sed 's/^ *//' )| \ sed -f ./docs/THANKS-filter | \ -grep -a ' ' | \ sort -fu | \ grep -aixvf ./docs/THANKS