在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 如果可以避免的话，它可以用于这类任务；它缺乏函数，良好的重定向，有一个奇怪的解析器，以及其他一些问题。伯恩的shell脚本一般被认为是比较健壮的，使用Python或其他 "真正的 "编程语言也是如此。