gtime

Dit commando is een alias van GNU time.

• Bekijk de documentatie van het originele commando:

tldr time