gtime

Este comando es un alias de time.

• Vea la documentación para el comando original:

tldr time