• # Time

    Posté par (Mastodon) . En réponse au journal dash vs bash. Évalué à 7.

    Tes deux dates consécutives, c'est pour mesure le temps d'exécution de la commande ? Si oui, essaye la commande time, qui fait ça un peu mieux :-)

    time ta_commande

    ça t'affiche trois mesures:
    real 0m0.202s
    user 0m0.002s
    sys 0m0.005s

    Et tu as pas mal d'options.