☰

timeコマンドの出力をどのように変更できますか？

tag-icon • tag-icon bash time output
timeコマンドの出力をどのように変更できますか？

timeコマンドの出力を変更するには：

real    0m12.304s
user    0m10.187s
sys     0m1.699s

到着する：

12.30s

編集：bashを使う（OSX）

答え1

これを入れてください.bashrc：export TIMEFORMAT=%Rs

次にsource ~/.bashrc。

ただ行ってみるtype timeとわかりますtime is a shell keyword。次にman bash（bashがシェルなので）実行して「time」を検索します。

関連情報