Для того чтобы подсчитать время выполнения, нам понадобится получать время в текущий момент и вычислять разницу. Обе задачи вполне решаемы в консоли 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 и размещена в рубрике Программирование.
Вы можете перейти в конец страницы и оставить ваш комментарий.
Мало букафф? Читайте есчо !
Март 17, 2024 г.
В Unix для замены текстового значения в группе файлов можно использовать утилиту rpl.
Установите rpl:
[crayon-6ab0c823c6344165809923/]
Для замены тестовой строки выполните команду в файле FILENAME:
[crayon-6ab0c823c634d905776216/]
Подстановка ...
Читать
Июль 24, 2017 г.
Если вы решили сэкономить и получить бесплатный SSL сертификат, то в большинстве случаев сделать это не сложно. Благодаря проекту Lets' encrypt процесс получения и настойки автоматизирован и выполняется буквально 2-3 командами в консоли сервера.
...
Читать
Сентябрь 18, 2025 г.
Столкнулся с задачей на практике - в архиве tar.gz лежит еще один архив, в котором еще один и так далее... Как с кощеевым яйцом, только цепочка в матрешке куда более длинная.
Написал небольшой скрипт для bash, по распаковке такого сюрприза.
...
Читать
Октябрь 22, 2019 г.
Веб сервера поддерживают обычно соединение в течении какого то времени. Но что делать, если нужно скачать файл, который просто не успевает закачаться за отведенное время?
В Unix файл можно скачать по ссылке командой wget, вот так:
[crayon-6ab0c823c675a489830470/] ...
Читать