25.22. Medição do tempo com time
O tempo usado pelos comandos pode ser determinado com o utilitário time. Esse utilitário está disponível em duas versões: como shell interno e como programa (/usr/bin/time).
$ time find . > /dev/null
real 0m4.051s
user 0m0.042s
sys 0m0.205s