2020-10-12 22:05:33 +01:00
|
|
|
# time
|
|
|
|
|
|
2023-11-01 06:50:57 +00:00
|
|
|
> Meet hoe lang het uitvoeren van een commando duurt.
|
|
|
|
|
> Opmerking: `time` kan ofwel bestaan als een shell builtin, een op zichzelf staand programma of beide.
|
2022-01-29 20:17:39 +00:00
|
|
|
> Meer informatie: <https://manned.org/time>.
|
2020-10-12 22:05:33 +01:00
|
|
|
|
2023-11-01 06:50:57 +00:00
|
|
|
- Voer het `commando` uit en print de tijdmetingen naar `stdout`::
|
2020-10-12 22:05:33 +01:00
|
|
|
|
2023-11-01 06:50:57 +00:00
|
|
|
`time {{commando}}`
|
