仅从命令 gtime 获取执行时间

Posted 2023-02-22

【中文标题】仅从命令 gtime 获取执行时间

【英文标题】：get execution time only from the command gtime

【发布时间】：2019-04-10 09:31:42

【问题描述】：

我需要执行一个命令并获取它的执行时间。我正在使用 gtime 但输出与我想要的有点不同。

gtime 返回执行结果，然后返回执行时间。我需要将命令的输出（我需要它只是时间）存储在一个变量中，然后再使用它。 有没有办法更改命令以仅获取执行时间？

所以如果我写下面的命令：

executiontime=$(gtime -f "%U" /Users/Desktop/SemanticLocality/optimathsat-1.6.2-macos-64-bit/bin/optimathsat < file.smt2)
echo "$executiontime"

那么这是我得到的输出示例：

sat

(objectives
 (misses_80 1)
)
9.94

【问题讨论】：

请提供输入和所需的输出。

@RomeoNinov 我编辑了我的问题

【参考方案1】：

要仅从输出中获取可执行时间，您可以通过以下方式修改命令：

executiontime=$(gtime -f "%U" /Users/ouafaelachhab/Desktop/SemanticLocality/optimathsat-1.6.2-macos-64-bit/bin/optimathsat < file.smt2|tail -1)

【讨论】：

我编辑了路径并添加了部分命令的答案，-1 给出了一个奇怪的答案，由于某种原因以 ) 结尾, -0 仅返回时间而已。