From 56ae978017f6c8a4db6e769db58a4f63d1c65012 Mon Sep 17 00:00:00 2001
From: Florent Rougon <f.rougon@free.fr>
Date: Wed, 2 Sep 2020 11:02:14 +0200
Subject: [PATCH] download_and_compile.sh: allow '_', '-' and '.' in usernames

With this commit, option --git-clone-site-params accepts '_', '-' and
'.' in usernames. Thanks to Keith Paterson for the report.
---
 download_and_compile.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/download_and_compile.sh b/download_and_compile.sh
index 8802704..f22e882 100755
--- a/download_and_compile.sh
+++ b/download_and_compile.sh
@@ -1075,7 +1075,7 @@ while true; do
       shift 2
       ;;
     --git-clone-site-params)
-      if [[ "$2" =~ ^([[:alnum:]]+)=([[:alpha:]]+)(:([[:alnum:]]+))?$ ]]; then
+      if [[ "$2" =~ ^([[:alnum:]]+)=([[:alpha:]]+)(:([-_.[:alnum:]]+))?$ ]]; then
         site="${BASH_REMATCH[1],,}"         # convert the site to lowercase
         verbatim_proto="${BASH_REMATCH[2]}"
         proto="${verbatim_proto,,}"         # ditto for the protocol