19 lines
801 B
Bash
Executable file
19 lines
801 B
Bash
Executable file
#! /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>_."
|
|
|