#!/bin/bash

      aZIPs_URL="https://raw.githubusercontent.com/robinmattern/FRTools_prod2-master/master/._2/ZIPs";

      aScript="set-repos-dir.sh";   echo -e "\n  Getting script: ${aScript}."
   if [ "$1" != "" ]; then curl    --ssl-no-revoke "${aZIPs_URL}/$1.sh" -o "$1.sh"; echo ""; exit; fi    # .(50716.10.1)
                      if ! curl -s --ssl-no-revoke "${aZIPs_URL}/${aScript}" 2>/dev/null | bash; then    # .(50716.10.2)
                           echo -e "\n* The script, ${aScript}, failed.\n"; fi;