update-nutools: possibilité de cloner la branche develop avec l'option --develop

doc/tools/update-nutools.md

@@ -2,6 +2,15 @@
 
 ~~~
 update-nutools: mettre à jour nutools
+
+USAGE:
+    update-nutools [--develop]
+
+OPTIONS
+    -d, --develop
+        Mettre à jour avec la branche develop pour avoir les dernières fonctions
+        qui ne sont pas encore stabilisées. Par défaut, la mise à jour est faite
+        avec la branche master.
 ~~~
 
 -*- coding: utf-8 mode: markdown -*- vim:sw=4:sts=4:et:ai:si:sta:fenc=utf-8:noeol:binary

update-nutools

@@ -9,7 +9,16 @@ NAME=nutools
 
 ################################################################################
 if [ $# -eq 1 -a "$1" == --help ]; then
-    echo "update-nutools: mettre à jour nutools"
+    echo "update-nutools: mettre à jour nutools
+
+USAGE:
+    update-nutools [--develop]
+
+OPTIONS
+    -d, --develop
+        Mettre à jour avec la branche develop pour avoir les dernières fonctions
+        qui ne sont pas encore stabilisées. Par défaut, la mise à jour est faite
+        avec la branche master."
     exit 0
 fi
 
@@ -41,14 +50,20 @@ NOTE: si une erreur se produit, utiliser l'adresse privée, e.g.
           NUTOOLS_REPO=$PRIV_REPO $0"
 fi
 
+case "$1" in
+-d|--d|--dev|--develop) develop=develop;;
+*) develop=;;
+esac
+
 scriptdir="$(dirname "$0")"
-if [ $# -ne 2 -o "$1" != --do-update ]; then
+if [ $# -ne 3 -o "$1" != --do-update ]; then
     cp "$0" "$TMPSCRIPT"
     chmod 755 "$TMPSCRIPT"
-    exec bash "$TMPSCRIPT" --do-update "$scriptdir"
+    exec bash "$TMPSCRIPT" --do-update "$scriptdir" "$develop"
 fi
 
 scriptdir="$2"
+develop="$3"
 clonerepo=
 if [ -z "$NUTOOLS_REPO" -a -f "$scriptdir/.nutools-devel" -a -d "$scriptdir/.git" ]; then
     echo "NOTE: tentative de mise à jour du dépôt local"
@@ -62,13 +77,13 @@ if [ -n "$clonerepo" ]; then
     echo "NOTE: clonage du dépôt distant $REPO"
     cd /tmp
     rm -rf "$NAME"
-    git clone --depth 1 "$REPO" || exit 1
+    git clone --depth 1 ${develop:+--branch "$develop"} "$REPO" || exit 1
     cd "$NAME"
 fi
 
 if ! diff -q "$SCRIPTNAME" "$0"; then
     echo "NOTE: Le script $SCRIPTNAME a été mis à jour. Il va être relancé."
-    exec bash "./$SCRIPTNAME"
+    exec bash "./$SCRIPTNAME" ${develop:+--develop}
 fi
 bash ./uinst -y || exit 1