从 vivado 中的日志文件解析的两个时间戳之间不同

Question

从 vivado 解析两个日志文件，我如何计算以分钟为单位的时间差？

set start_time = "Wed Jun 12 15:12:30 2019"

set end_time = "Thu Jun 13 01:28:39 2019"

在 csh 中如何计算 start_time - end_time 并将其转换为分钟？

Answer 1

在 Linux 和 GNU coreutil 的 date 上，您可以使用 -d 标志来解析日期，并 +%s 以秒为单位显示它：

set start_time = "Wed Jun 12 15:12:30 2019"
set end_time   = "Thu Jun 13 01:28:39 2019"

@ diff = `date -d "$start_time" +%s` - `date -d "$end_time" +%s`

echo "Took $diff seconds"

使用 @ varname 而不是 set varname 你可以进行算术运算。

请注意 -d 标志并非适用于所有系统，但维基百科告诉我 Vivado 仅在 Windows 和 Linux 上运行，因此我假设您正在使用Linux;-)

如果可以避免，我也建议不要将 csh 用于此类任务；它缺乏功能，良好的重定向，有一个奇怪的解析器，以及一些其他问题。 Bourne shell 脚本通常被认为更健壮，就像使用 Python 或其他 "real" 编程语言一样。

从 vivado 中的日志文件解析的两个时间戳之间不同

different between two time stamps parsed from log files in vivado

unix

csh