134 B
134 B
gtime
Dit commando is een alias van
-p linux time.
- Bekijk de documentatie van het originele commando:
tldr -p linux time
Dit commando is een alias van
-p linux time.
tldr -p linux time