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