gtime
This command is an alias of GNU
time.
- View documentation for the original command:
tldr -p linux time
This page was generated from content adapted from the following sources
This command is an alias of GNU
time.
tldr -p linux time