Je voudrais afficher le temps d'achèvement d'un script.
Ce que je fais actuellement c'est -
#!/bin/bash
date ## echo the date at start
# the script contents
date ## echo the date at end
Cela montre simplement l'heure du début et de la fin du script. Serait-il possible d'afficher une sortie à granularité fine telle que temps processeur / temps io, etc.?