# gtime > Dit commando is een alias van `-p linux time`. - Bekijk de documentatie van het originele commando: `tldr -p linux time`