gtime

Este comando é um apelido de time.

• Veja documentação sobre o comando original:

tldr time