关于在Linux上计时程序的一个小问题:time命令允许测量程序的执行时间:
[ed@lbox200 ~]$ time sleep 1
real 0m1.004s
user 0m0.000s
sys 0m0.004s
哪个工作正常。但是,如果我尝试将输出重定向到文件,它将失败。
[ed@lbox200 ~]$ time sleep 1 > time.txt
real 0m1.004s
user 0m0.001s
sys 0m0.004s
[ed@lbox200 ~]$ cat time.txt
[ed@lbox200 ~]$
我知道还有其他时间实现,带有选项-o来写文件,但是我的问题是关于没有那些选项的命令。
有什么建议 ?