Для того чтобы подсчитать время выполнения, нам понадобится получать время в текущий момент и вычислять разницу. Обе задачи вполне решаемы в консоли 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 и размещена в рубрике Программирование.
Вы можете перейти в конец страницы и оставить ваш комментарий.
Мало букафф? Читайте есчо !
Февраль 3, 2018 г.
Небольшая шпаргалка по обновлению ПО на UNIX сервере из консоли.
Начать лучше всего с перехода на права SuperUser, если вы не зашли на сервер как root пользователь.
[crayon-6ada7b54d455f845201542/]
Обновим информацию об имеющихся обновлениях пакетов ...
Читать
Сентябрь 9, 2018 г.
Если после команды
[crayon-6ada7b54d473b691022010/]
Вы видите что то вроде:
[crayon-6ada7b54d4741430887043/]
Возможно вам поможет следующий алгоритм установки.
therubyracer потребовался мне для работы lessc, потому я стал искать решение, как ...
Читать
Март 17, 2024 г.
В Unix для замены текстового значения в группе файлов можно использовать утилиту rpl.
Установите rpl:
[crayon-6ada7b54d481d901463818/]
Для замены тестовой строки выполните команду в файле FILENAME:
[crayon-6ada7b54d4822602482218/]
Подстановка ...
Читать
Август 22, 2013 г.
Те кто постоянно работает в командной строке UNIX, не находят ничего сложного в использовании разных утилит. Мне иногда приходится общаться с UNIX через ...
Читать