• # make ?

    Posté par . En réponse au message Logiciel de Batch tout simple. Évalué à 1.

    sur le principe, avec un makefile du genre:


    $ cat makefile

    all: cmd1 cmd2

    cmd1:
    while [ 1 ]; do echo "hu"; sleep 5; done

    cmd2:
    while [ 1 ]; do echo "ha"; sleep 3; done
    .PHONY: cmd1 cmd2


    ensuite:
    $ make -j 2
    while [ 1 ]; do echo "hu"; sleep 5; done
    hu
    while [ 1 ]; do echo "ha"; sleep 3; done
    ha
    ha
    hu
    ha
    ha
    hu


    en oubliant pas que make exige des tabulations en début des lignes de commande (ici, devant chaque while), mais je ne sais pas comment faire apparaitre ça proprement sur linuxfr.
    pour toi, ça sera make -j 8 (man make)

    yapuka(c) écrire une moulinette pour générer le makefile (parce que se cogner les 400 commandes à la main, c'est pas glop) et roule :)