【发布时间】:2015-12-08 09:14:28
【问题描述】:
curl -s http://127.0.0.1 的结果是200 OK
/usr/bin/time -f "%e" curl -s http://127.0.0.1 的结果是200 OK0.08
在这种情况下,我只需要0.08。当我将输出重定向到>> result.txt 时,如何只获取0.08 而不是整个字符串?
ps:响应在未来可能会发生变化(并非总是200 OK),时间的格式也可能在未来发生变化。所以我真的需要一个不基于字符串操作的解决方案。谢谢。
【问题讨论】:
-
您确定您的
/usr/bin/time会写入标准输出吗?你是说如果你做/usr/bin/time ls > /dev/null它根本不打印任何东西?我本来希望它写到标准错误。