计算脚本执行时间

cat tet.sh

---

#!/bin/bash
s=0
while [ $s -lt 10000 ]
do
   let "s = $s + 1"
   echo $s >> /dev/null 2>&1
done

time sh let.sh # 计算脚本执行时间