Для того чтобы подсчитать время выполнения, нам понадобится получать время в текущий момент и вычислять разницу. Обе задачи вполне решаемы в консоли 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 и размещена в рубрике Программирование.
Вы можете перейти в конец страницы и оставить ваш комментарий.
Мало букафф? Читайте есчо !
Февраль 23, 2018 г.
Решаем задачу о копировании файлов из каталога SRC в каталог DST, но только определенных заданных типов, сохраняя структуру каталогов.
Это может понадобиться для сбора ассетов проекта, создания архивов и т.п.
К примеру, вы хотите скопировать ...
Читать
Февраль 13, 2018 г.
Ещё одна шпаргалка по администрированию UNIX серверов. На этот раз рассмотрим несколько полезных команд для создания бекапа базы данных из консоли.
Нам понадобится команда mysqldump, которая позволяет создавать sql скрипт базы или её части.
Создание ...
Читать
Январь 31, 2023 г.
... и выполнить те или иные операции в зависимости от результата проверки, используя командный процессор, например bash.
Примерно так формулируется очередная небольшая задача, возникающая в ежедневном потоке рутины автоматизации работы.
Существует ...
Читать
Март 17, 2024 г.
В Unix для замены текстового значения в группе файлов можно использовать утилиту rpl.
Установите rpl:
[crayon-69b5c71025cd9938836542/]
Для замены тестовой строки выполните команду в файле FILENAME:
[crayon-69b5c71025ce3126863133/]
Подстановка ...
Читать