#!/bin/bash
start=`date +%s`
function a()
{
while read a
do
echo $a
sleep 1
done < $1
}
a "$1"
end=`date +%s`
(( time=end-start ))
echo $time
shell计时
最新推荐文章于 2024-06-27 15:09:55 发布
#!/bin/bash
start=`date +%s`
function a()
{
while read a
do
echo $a
sleep 1
done < $1
}
a "$1"
end=`date +%s`
(( time=end-start ))
echo $time