如何重定向输出的时间命令到一个文件在Linux?

关于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选项来写文件，但是我的问题是关于没有这些选项的命令。

有什么建议吗?

当前回答

将时间和要计时的命令用括号括起来。

例如，执行下面的ls，并将ls的结果和计时结果写入outfile:

$ (time ls) > outfile 2>&1

或者，如果您想将命令的输出与时间捕获的输出分开:

$ (time ls) > ls_results 2> time_results

其他回答

如果您使用的是GNU时间而不是bash内置时间，请尝试一下

time -o outfile command

(注意:GNU时间格式与bash内置时间格式略有不同)。

将时间和要计时的命令用括号括起来。

例如，执行下面的ls，并将ls的结果和计时结果写入outfile:

$ (time ls) > outfile 2>&1

或者，如果您想将命令的输出与时间捕获的输出分开:

$ (time ls) > ls_results 2> time_results

如果你只需要shell变量中的时间，那么这是可行的:

var=`{ time <command> ; } 2>&1 1>/dev/null`

Try

{ time sleep 1 ; } 2> time.txt

它结合了“时间”的STDERR和你的命令到time.txt

或使用

{ time sleep 1 2> sleep.stderr ; } 2> time.txt

它将STDERR从“sleep”放到“sleep”文件中。stderr"只有来自"time"的stderr会进入"time。txt"

如果你正在使用csh，你可以使用:

/usr/bin/time --output=outfile -p $SHELL  -c 'your command'

例如:

/usr/bin/time --output=outtime.txt -p csh -c 'cat file'

推荐文章