如何处理时间数据

Question

linux命令代码time <command> | tail -n2，我希望提取sys的时间行并使用时间，但是，我得到如下所示：

time picat slater-6_sat ver2 "0"

产出如下：

winner = 4 with the least cost = 0

CPU time 0.0 seconds.

success

real    0m0.054s
user    0m0.035s
sys     0m0.019s

而当我只输入picat slater-6_sat ver2 "0"时

产出如下：

winner = 4 with the least cost = 0

CPU time 0.0 seconds.

success

我希望输入time picat slater-6_sat ver2 "0" | tail -n2，

产出如下：

user    0m0.035s
sys     0m0.019s

然而，事实是：

success

real    0m0.054s
user    0m0.035s
sys     0m0.019s

我想原因是处理器认为是时间，所以把picat slater-6_sat ver2 "0"| tail -n2 当作命令

我怎样才能解决这个问题？

Answer 1

你可以试试这样的东西：

(time picat slater-6_sat ver2 "0") > output.txt 2>&1 && tail -2 output.txt

在这里可以看到类似的答案：Output time to file with unix "time" command, but leave output of command to console

下面是一个示例python文件：

from time import sleep
for x in range(0,10):
    sleep(0.4)
    print(x)

现在按如下方式运行该文件：

$ (time python3 test.py) > output.txt 2>&1 && tail -2 output.txt

user    0m0.026s
sys 0m0.004s

追加资源：

In the shell, what does " 2>&1 " mean?

• What

• 2>&1做什么？2>&1做&&做什么？