Partie de script pour sourcer un fichier donné en argument de la ligne de commande: if [ "x$1" = "x" ] then echo "usage $0 FichierConfiguration" exit else if [ -f $1 ] then source "$1" else echo "le fichier $1 est introuvable" exit fi fi Ou en  […]