download_and_compile.sh: cosmetic changes

download_and_compile.sh

@@ -419,8 +419,8 @@ while true; do
     --git-clone-site-params)
       if [[ "$2" =~ ^([[:alnum:]]+)=([[:alpha:]]+)(:([[:alnum:]]+))?$ ]]; then
         site="${BASH_REMATCH[1],,}"         # convert the site to lowercase
-        proto="${BASH_REMATCH[2],,}"        # ditto for the protocol
         verbatim_proto="${BASH_REMATCH[2]}"
+        proto="${verbatim_proto,,}"         # ditto for the protocol
         username="${BASH_REMATCH[4]}"       # but take the username verbatim
 
         if ! _elementIn "$proto" ssh https git; then
@@ -1171,8 +1171,5 @@ else
         | tee -a "$LOGFILE"
 fi
 
-echo ""
+echo
 echo "download_and_compile.sh has finished to work"
-
-cd "$CBD"
-