time meet hoelang een commando duurt om uit te voeren, inclusief gebruikte CPU-tijd.
time commando
| Veld | Betekenis |
|---|---|
real | Totale verstreken tijd |
user | CPU-tijd in user space |
sys | CPU-tijd in kernel space |
Duur van een commando meten:
time grep -r "TODO" /pad/naar/project
Duur van een compilatie meten:
time make
De shell heeft een ingebouwde time die afwijkt van /usr/bin/time — gebruik het volledige pad als je de uitgebreidere uitvoer van /usr/bin/time -v nodig hebt (geheugengebruik, page faults, enz.).