unbroken

温室没有 灿烂的花

一个简单统计时间间隔的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}"  
阅读更多
个人分类: Android.mk&&Makefile
想对作者说点什么? 我来说一句

没有更多推荐了,返回首页

加入CSDN,享受更精准的内容推荐,与500万程序员共同成长!
关闭
关闭