Temps d'exécution dans un script Bash
Publié le 04/11/2020 Bash
Si on veut avoir l'information dans plusieurs endroits du script, il est possible d'utiliser la variable $SECONDS qui est initialisée à 0 au démarrage du script et incrémentée toutes les secondes.
On peut même la mettre à zéro si nécessaire !
$ echo $SECONDS 4 $ echo $SECONDS 6 $ SECONDS=0 $ echo $SECONDS 0 $ echo $SECONDS 2 $ echo $SECONDS 3