時間形式の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

shellキーワードのフォーマットオプションがあるか/usr/bin/timeどうか疑わしいので、これを使用できます。time

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

おすすめ記事