シェルスクリプトで経過時間を出力する

Bashでバッチの処理時間を取得するには以下のようにシェルの開始時と終了時に時刻を取得し、その差異から経過時間を取得する

1.開始時間を取得する

start_time=date +%s

2. 終了時刻を取得する

end_time=date +%s

3. 開始時刻と終了時刻の差異を算出する

time=$((end_time - start_time))
((sec=time%60, min=(time%3600)/60, hrs=time/3600))
batch_time=$(printf "%d:%02d:%02d" $hrs $min $sec)

4. 出力する

echo " 処理時間 :$batch_time"

例：処理時間 :0:02:31