gtime

This command is an alias of GNU time.

• View documentation for the original command:

tldr -p linux time