cosmetic

update-nutools

@@ -80,20 +80,20 @@ 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"
+      NUTOOLS_REPO=$PRIV_REPO $0"
 fi
 
 scriptdir="$1"
-clonerepo=
+tmpclone=
 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"
     cd "$scriptdir"
-    git pull || clonerepo=1
+    git pull || tmpclone=1
 else
-    clonerepo=1
+    tmpclone=1
 fi
 
-if [ -n "$clonerepo" ]; then
+if [ -n "$tmpclone" ]; then
     echo "NOTE: clonage du dépôt distant $REPO"
     cd /tmp
     rm -rf "$NAME"
@@ -103,13 +103,14 @@ fi
 
 if ! diff -q "$SCRIPTNAME" "$0"; then
     echo "NOTE: Le script $SCRIPTNAME a été mis à jour. Il va être relancé."
-    exec bash "./$SCRIPTNAME" ${develop:+--develop}
+    exec bash "./$SCRIPTNAME" ${develop:+--develop} ${public:+--public}
 fi
-bash ./uinst -y || exit 1
 
-if [ -n "$clonerepo" ]; then
+bash ./uinst -y || exit 1
+if [ -n "$tmpclone" ]; then
     cd ..
     rm -rf "$NAME"
 fi
+
 # IMPORTANT: la ligne suivante ne doit pas se terminer par un retour à la ligne:
 rm "$0"; exit 0