time コマンド以外で時間を計測したい場合
#!/bin/bash START=`date +%s` ・・・処理 END=`date +%s` SS=`expr ${END} - ${START}` HH=`expr ${SS} / 3600` SS=`expr ${SS} % 3600` MM=`expr ${SS} / 60` SS=`expr ${SS} % 60` echo "${HH}:${MM}:${SS}"