关于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选项来写文件，但是 我的问题是关于没有这些选项的命令。
有什么建议吗?
当前回答
由于'time'命令的输出是错误输出，将其重定向为标准输出将更直观地进行进一步处理。
{ time sleep 1; } 2>&1 | cat > time.txt
其他回答
将时间和要计时的命令用括号括起来。
例如，执行下面的ls，并将ls的结果和计时结果写入outfile:
$ (time ls) > outfile 2>&1
或者，如果您想将命令的输出与时间捕获的输出分开:
$ (time ls) > ls_results 2> time_results
如果您使用的是GNU时间而不是bash内置时间，请尝试一下
time -o outfile command
(注意:GNU时间格式与bash内置时间格式略有不同)。
我最终使用:
/usr/bin/time -ao output_file.txt -f "Operation took: %E" echo lol
“a”在哪里附加 “o”前面是要附加到的文件名 哪里的“f”是格式与printf类似的语法 其中“%E”产生0:00:00;小时:分钟:秒 我不得不调用/usr/bin/time，因为bash“time”正在践踏它，并且没有相同的选项 我只是想输出到文件，和OP不一样
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"
简单。GNU时间实用程序对此有一个选项。
但是你必须确保你没有使用shell内置的time命令，至少bash内置没有提供这个选项!这就是为什么你需要给出时间效用的完整路径:
/usr/bin/time -o time.txt sleep 1
