gtime

这是 time 命令的一个别名。

• 原命令的文档在：

tldr time