shell运行时间

前端之家收集整理的这篇文章主要介绍了shell运行时间前端之家小编觉得挺不错的,现在分享给大家,也给大家做个参考。

当然是用time

不过想到一个无聊的写法

t0=`date +%s` && sleep 10 && t1=`date +%s` && echo $((t1-t0))

猜你在找的Bash相关文章