シェルコマンドの実行時間を出力する

次の組み合わせでシェルコマンドの実行時間を印刷することはできますか？

root@hostname:~# "command to execute" && echo "execution time"

bashの組み込みtime（デフォルトで呼び出す必要がありますtime command）と/usr/bin/time（フルパスで呼び出す必要がある）には違いがあることを忘れないでください。

ビルトインはtime常にstderrに/usr/bin/time出力しますが、時間の出力を特定のファイルに送信できるため、実行されたコマンドのstderrストリームに干渉することはありません。また、/usr/bin/timeの形式はコマンドラインまたは環境変数TIMEで構成できtimeますが、bashの組み込み形式は環境変数でのみ構成できTIMEFORMATます。

$ time factor 1234567889234567891 # builtin
1234567889234567891: 142662263 8653780357

real    0m3.194s
user    0m1.596s
sys 0m0.004s
$ /usr/bin/time factor 1234567889234567891
1234567889234567891: 142662263 8653780357
1.54user 0.00system 0:02.69elapsed 57%CPU (0avgtext+0avgdata 0maxresident)k
0inputs+0outputs (0major+215minor)pagefaults 0swaps
$ /usr/bin/time -o timed factor 1234567889234567891 # log to file `timed`
1234567889234567891: 142662263 8653780357
$ cat timed
1.56user 0.02system 0:02.49elapsed 63%CPU (0avgtext+0avgdata 0maxresident)k
0inputs+0outputs (0major+217minor)pagefaults 0swaps

time はほとんどのシェルに組み込まれているコマンドで、実行時の情報をttyに書き込みます。

次のようなものを試すこともできます

start_time=`date +%s`
<command-to-execute>
end_time=`date +%s`
echo execution time was `expr $end_time - $start_time` s.

またはbash：

start_time=`date +%s`
<command-to-execute> && echo run time is $(expr `date +%s` - $start_time) s

root@hostname:~# time [command]

また、使用されるリアルタイムと使用されるシステム時間を区別します。

行ごとのデルタ測定については、gnonomを試してください。

これは、moreutilsのtsに少し似たコマンドラインユーティリティであり、タイムスタンプ情報を別のコマンドの標準出力の前に追加します。非常に長い時間がかかっていることの履歴記録が必要な、実行時間の長いプロセスに役立ちます。

gnomonに何かをパイピングすると、各行にタイムスタンプが付加され、その行がバッファーの最後の行であった時間、つまり次の行が表示されるまでにかかった時間が示されます。デフォルトでは、gnomonは各行の間に経過した秒数を表示しますが、これは構成可能です。

@mobの答えに追加：

に追加%Nするとdate +%s、ナノ秒の精度が得られます。

start=`date +%s%N`;<command>;end=`date +%s%N`;echo `expr $end - $start`

コピーやハッシュなどの長時間実行プロセスを開始していて、後でどのくらいの時間がかかったかを知りたい場合は、次のようにします。

$ date; sha1sum reallybigfile.txt; date

これにより、次の出力が生成されます。

Tue Jun  2 21:16:03 PDT 2015
5089a8e475cc41b2672982f690e5221469390bc0  reallybigfile.txt
Tue Jun  2 21:33:54 PDT 2015

確かに、ここで実装されているように、それはあまり正確ではなく、経過時間を計算しません。しかし、それは単純な汚れであり、時にはあなたが必要とするすべてです。

zshでは使用できます

=time ...

bashまたはzshで使用できます

command time ...

これらは（さまざまなメカニズムによって）外部コマンドの使用を強制します。

ただ ps -o etime= -p "<your_process_pid>"