关于在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的时间实现，但是我的问题是关于没有那些选项的命令。

有什么建议么 ？