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
shellキーワードのフォーマットオプションがあるか/usr/bin/time
どうか疑わしいので、これを使用できます。time
/usr/bin/time -f "%E" ./script.sh