一个简单统计时间间隔的shell脚本Demo

[html] view plain copy

1. #!/bin/bash  
2.   
3. begin_time=$(date "+%s")  
4. echo -e "begin_time = $begin_time"  
5. sleep 3  
6. make
7. end_time=$(date "+%s")  
8. echo -e "end_time = $end_time"  
9.   
10. time_distance=$(($end_time - $begin_time));  
11. hour_distance=$(expr ${time_distance} / 3600)    
12. hour_remainder=$(expr ${time_distance} % 3600)    
13. min_distance=$(expr ${hour_remainder} / 60)    
14. min_remainder=$(expr ${hour_remainder} % 60)   
15. echo -e "spend time is ${hour_distance}:${min_distance}:${min_remainder}"