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