如何从文件中取两个或多个数字并加/减它们

Question

文件日期戳：

TIME_SETRUN=1517299635
TIME_SUBMIT=1517299661
TIME_EXEC=1517771852
TIME_EXPIRE=1518117452
TIME_FINISHED=1517811003

我是初学者。

这些是我在文件中找到的一些值。 除了TIME_FINISHED之外，我想在TIME_EXEC之外添加/减去数字。 我该怎么做？

当我尝试通过grep TIME_SETRUN file_name获取值时，我得到以下结果。 TIME_SETRUN=1517299635。

Answer 1

您可以通过bash和grep获得这样的差异：

(grep -E "TIME_EXEC|TIME_FINISHED" yourfile ; echo 'echo $(( $TIME_FINISHED - $TIME_EXEC ))' ) | bash

这使用一个 grep一次性找到两次。让我们暂时忽略回声部分：grep ... | bash将这些行TIME_EXEC=1517771852和TIME_FINISHED=1517811003转换为bash过程。

echo 'echo $(( $TIME_FINISHED - $TIME_EXEC ))'也会转发引号内的字母。

因此bash过程看到转发了三行：两个变量定义和一行echo $(( $TIME_FINISHED - $TIME_EXEC ))输出差异。