timeコマンドでシェルコマンドの実行時間を計る

timeコマンドはシェルコマンドの実行時間を計るコマンドです。
使い方はちょっと特殊です。
lsコマンドの実行時間を知りたい場合、以下のようにします。

$ time ls
 // lsの実行結果

real	0m0.009s
user	0m0.002s
sys	0m0.005s

パイプでも同様。

$ time seq 1 10 | sed -e "3 ,8d"
1
2
9
10

real	0m0.004s
user	0m0.002s
sys	0m0.004s

参考もと

  • man time