initial import

darcs-hash:20000521152918-92525-97443021760315cf1126ef89e7777875788be245.gz

supers/df

@@ -0,0 +1,20 @@
+#! /bin/sh
+# Sam K, déc 99
+# magie: le script lance super sur son propre nom
+#  et ca lance le bon programme.. 
+
+prog=`basename $0`
+
+# Si le script courant est lancé par super, $SUPERCMD permet de le voir.
+# et alors on continue gentiment le script, sinon on éxécute super sur le prog.
+#  ca permet de faire des scripts qui lancent super sur eux-memes..
+test "X$SUPERCMD" = "X$prog" || test "X$UID" = "X0" || 
+         exec /usr/bin/super $prog ${1+"$@"}    # le script s'arrete ici ds ce cas.
+
+# Contenu du script :
+
+# ici c'est vide car "super $prog" va en fait éxécuter un autre script, celui ci étant juste un "wrapper".
+# pour lanceMake et autre, c'est là qu'est mis le script à éxécuter.
+
+test "X$UID" = "X0" && echo "uid=root -> on fait rien. lancez le prog directement, cf _where <command>_."
+