timeでコマンド実行時間を計る

timeは引数となるコマンドの実行にかかった所有時間を計測し、実行終了後に出力してくれる。 引数となるコマンドラインにはパイプやリダイレクトは使用できない。timeにはbash組み込みのものと/usr/bin/配下の2種類が存在する。基本的機能に違いはなく、出力の表示が違うくらいのようだ。