From ca5ac77aec81e22811c28c5b3a819ad69655562d Mon Sep 17 00:00:00 2001
From: Jephte CLAIN <Jephte.Clain@univ-reunion.fr>
Date: Wed, 4 Dec 2013 16:39:52 +0400
Subject: [PATCH] support de wget fallback en cas d'absence de curl et wget

---
 update-nutools | 25 +++++++++++++++++++++++--
 1 file changed, 23 insertions(+), 2 deletions(-)

diff --git a/update-nutools b/update-nutools
index 0e95c5c..c837c1c 100755
--- a/update-nutools
+++ b/update-nutools
@@ -7,10 +7,31 @@ PRIV_REPO=http://vcs.univ.run/anongit/modules/nutools.git
 PUB_REPO=http://vcs.univ-reunion.fr/anongit/modules/nutools.git
 NAME=nutools
 
-if curl -fs "$PRIV_REPO" >&/dev/null; then
-    REPO="$PRIV_REPO"
+################################################################################
+CURL="$(which curl 2>/dev/null)"
+WGET="$(which wget 2>/dev/null)"
+if [ -n "$NUTOOLS_REPO" ]; then
+    REPO="$NUTOOLS_REPO"
+elif [ -n "$CURL" ]; then
+    if curl -fs "$PRIV_REPO" >&/dev/null; then
+        REPO="$PRIV_REPO"
+    else
+        REPO="$PUB_REPO"
+    fi
+elif [ -n "$WGET" ]; then
+    if wget -q -O - "$PRIV_REPO" >&/dev/null; then
+        REPO="$PRIV_REPO"
+    else
+        REPO="$PUB_REPO"
+    fi
 else
     REPO="$PUB_REPO"
+    echo "\
+WARN: impossible de déterminer la source pour la mise à jour.
+      sélection de l'adresse publique $PUB_REPO"
+    echo "\
+NOTE: si une erreur se produit, utiliser l'adresse privée, e.g.
+          NUTOOLS_REPO=$PRIV_REPO $0"
 fi
 
 if [ $# -ne 1 -o "$1" != --do-update ]; then