gtime

Questo comando è un alias per time.

• Consulta la documentazione del comando originale:

tldr time