[lmi-commits] [lmi] master 749da83 2/2: Fall back on secondary git-clone methods if necessary

[Greg Chicares]

branch: master
commit 749da834e228241aa2d379e5c49fe35be8533509
Author: Gregory W. Chicares <address@hidden>
Commit: Gregory W. Chicares <address@hidden>

    Fall back on secondary git-clone methods if necessary
---
 lmi_setup_43.sh | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/lmi_setup_43.sh b/lmi_setup_43.sh
index 38d48e4..eefcf32 100755
--- a/lmi_setup_43.sh
+++ b/lmi_setup_43.sh
@@ -89,7 +89,16 @@ make "$coefficiency" system_test
 cd /opt/lmi || { printf 'failed: cd\n'; exit 3; }
 mkdir --parents free/src
 cd free/src || { printf 'failed: cd\n'; exit 3; }
-git clone git://git.savannah.nongnu.org/lmi.git
+
+# Use git's own protocol wherever possible. In case that's blocked
+# by a corporate firewall, fall back on https. In case a firewall
+# inexplicably blocks the gnu.org domain, try Vadim's github clone
+# as a last resort.
+
+git clone git://git.savannah.nongnu.org/lmi.git \
+  || git clone https://git.savannah.nongnu.org/r/lmi.git \
+  || git clone https://github.com/vadz/lmi.git
+
 cd lmi || { printf 'failed: cd\n'; exit 3; }
 find . -path ./.git -prune -o -type f -print0 \
   | xargs --null --max-args=1 --max-procs="$(nproc)" --replace='{}' touch 
'--reference=/opt/lmi/src/lmi/{}' '{}'