29.20. Misurare il tempo con time
Il tempo richiesto dai comandi si lascia determiare tramite
l'utilitā time. Questo programma
č disponibile in due versioni: come shell-builtin e come programma
sotto /usr/bin/time.
$ time find . > /dev/null
real 0m4.051s
user 0m0.042s
sys 0m0.205s