Для того чтобы подсчитать время выполнения, нам понадобится получать время в текущий момент и вычислять разницу. Обе задачи вполне решаемы в консоли UNIX.
Дату мы получим в виде числа секунд и микросекунд с начала UNIX эпохи
А разницу дат, которая представляет собой разницу двух чисел с плавающей запятой, можно получить пользуясь гайдом вот сюда.
|
|
#!/bin/bash # начало работы START=$(date +%s.%N) #дальше идут команды скрипта #время исполнения которого мы измеряем ... # окончание работы END=$(date +%s.%N) # разница DIFF=`echo "$END-$START" | bc -l` # итак: echo Time execution of the script is $DIFF s. |
UNIX
Данная запись опубликована в 12.09.2018 19:18 и размещена в рубрике Программирование.
Вы можете перейти в конец страницы и оставить ваш комментарий.
Мало букафф? Читайте есчо !
Сентябрь 8, 2024 г.
Продолжается развиваться ситуация в духе "все запретить", на этот раз прикрыли youtube. Понятно, что это ожидалось, и площадка youtube вовлечена во все ...
Читать
Март 17, 2024 г.
В Unix для замены текстового значения в группе файлов можно использовать утилиту rpl.
Установите rpl:
[crayon-6a4f29c2bc93d044443063/]
Для замены тестовой строки выполните команду в файле FILENAME:
[crayon-6a4f29c2bc94b659243498/]
Подстановка ...
Читать
Октябрь 6, 2023 г.
Полезный пример поиска в UNIX, чтобы найти файлы, содержащие 2 и более разных подстрок. Например, мне нужно было найти все файлы конфигурации, в которых одновременно есть значение "field_spacing" и "excluded: false".
Grep такой функции поиска не ...
Читать
Ноябрь 28, 2018 г.
По умолчанию GREP выводит всю строку, где был обнаружен указанный вами шаблон поиска. Для форматированных текстовых файлов это подходит. Но если в поиск попадает минифицированный текстовый или binary файл, то в консоль вываливается неприлично много текста. ...
Читать