小时格式的 Linux ‘time’ 命令

小时格式的 Linux ‘time’ 命令

Linuxtime命令将以分钟和秒格式生成输出。是否可以将其更改为小时格式?

[user@Linux ~]$ time ./script.sh

real    394m30.145s
user    388m20.129s
sys     16m16.255s
[user@Linux ~]$ 

如果输出可以这样格式化就好了

[user@Linux ~]$ time ./script.sh

real    6 Hours 34 Minutes 30.145s
user    6 Hours 28 Minutes 20.129s
sys     16m16.255s
[user@Linux ~]$ 

答案1

您可以使用/usr/bin/time它,因为我怀疑 shelltime关键字是否有格式选项。

/usr/bin/time -f "%E" ./script.sh

相关内容