отличается между двумя метками времени, проанализированными из файлов журнала в Vivado - PullRequest
Новая
       30

отличается между двумя метками времени, проанализированными из файлов журнала в Vivado

0 голосов
/ 21 апреля 2020

Парсинг двух файлов журнала от 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 и преобразовать его в минуты?

1 Ответ

0 голосов
/ 24 апреля 2020

На 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 вы можете выполнить арифметику c.

Обратите внимание, что флаг -d переносим не на все системы, но Википедия говорит мне, что Vivado работает только на Windows и Linux, поэтому я Предположим, вы используете Linux; -)

Я бы также рекомендовал не использовать csh для подобных задач, если этого можно избежать; в нем отсутствуют функции, хорошее перенаправление, странный синтаксический анализатор и некоторые другие проблемы. Скрипты Bourne обычно считаются более надежными, как если бы использовался Python или другой «настоящий» язык программирования.

...