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

diff --git a/scripts/contributors.sh b/scripts/contributors.sh
index 7b1cda3855d2726153a37e1c2883e464dd9b9666..90ea5c94d7d685a7ee76c1a4755c6c854058cd9e 100755 (executable)
--- 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 46853da9a0b4d7764fec9415bb84a2271c345218..b1884228817cbb30f56c076dd040a8e90dc36611 100755 (executable)
--- 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