regex - 如何在 bash 脚本中存储 "time"函数输出的子字符串

Question

所以bash的内置时间函数应该以这种格式输出

real 0m0.002s
user 0m0.001s
sys  0m0.000s

我想以毫秒为单位节省用户时间，比如 001 什么是干净的方法来做到这一点？

Answer 1

干净的方法是使用 TIMEFORMAT shell 变量来只打印用户信息。 (man bash 了解更多详情。)

然后，您当然需要捕获它的输出。这是不可能通过管道完成的，因为它是由 shell 在内部完成的，但是您可以在子 shell 中运行它，输出将转到标准错误。但是你必须以某种方式将命令的输出重定向到别处。在这里，我只是放弃它，但存在许多其他可能性，具体取决于您需要做什么。然后你需要将 d.ddd 修改为 dddd。只需删除句点即可。

(TIMEFORMAT="%U"; time ls > /dev/null) |& tr -d .

如果你喜欢，可以添加| sed s/^0*// 以消除前导零。

%R 将给出实时，%S 系统时间。您可以使用例如更改精度%6U 以获得微秒，尽管大多数系统都不会接近那个精确度。

man bash 获取重定向帮助。 man tr 和 man sed 获取有关如何使用它们的帮助。