【发布时间】:2012-11-01 15:20:11
【问题描述】:
关于 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 来写入文件,但是 我的问题是关于没有这些选项的命令。
有什么建议吗?
【问题讨论】:
-
bash script write executing time in a file 的可能重复项,我不相信这是第一个这样的问题。