Распечатайте время выполнения команды оболочки

Это также зависит от размера и структуры команды (команд), работающей над Вашим проектом. Если существуют различные команды, полагающиеся на каждый API других, он может иметь много смысла иметь ночные сборки для частой интеграции. Если Вы взламываете далеко только с одним или двумя помощниками команды, это может или не может стоить того.

75
задан jack 1 November 2009 в 04:49
поделиться

3 ответа

Не забывайте, что есть разница между встроенной командой bash time (который должен вызываться по умолчанию, когда вы выполняете команду time ) и / usr / bin / time (что должно требовать, чтобы вы вызывали его по полному пути).

Встроенное время всегда печатается в stderr, но / usr / bin / time позволит вам отправить вывод времени в конкретный файл, чтобы вы не мешали выполнению поток stderr команды. Также / usr / bin / time ' s формат настраивается в командной строке или с помощью переменной среды TIME , тогда как встроенный формат времени bash - только , настроенный Переменная окружения TIMEFORMAT .

$ time factor 1234567889234567891 # builtin
1234567889234567891: 142662263 8653780357

real    0m3.194s
user    0m1.596s
sys 0m0.004s
$ /usr/bin/time factor 1234567889234567891
1234567889234567891: 142662263 8653780357
1.54user 0.00system 0:02.69elapsed 57%CPU (0avgtext+0avgdata 0maxresident)k
0inputs+0outputs (0major+215minor)pagefaults 0swaps
$ /usr/bin/time -o timed factor 1234567889234567891 # log to file `timed`
1234567889234567891: 142662263 8653780357
$ cat timed
1.56user 0.02system 0:02.49elapsed 63%CPU (0avgtext+0avgdata 0maxresident)k
0inputs+0outputs (0major+217minor)pagefaults 0swaps
64
ответ дан 24 November 2019 в 11:28
поделиться

time - это встроенная команда в большинстве оболочек, которая записывает информацию о времени выполнения на tty.

Вы также можете попробовать что-нибудь вроде

start_time=`date +%s`
<command-to-execute>
end_time=`date +%s`
echo execution time was `expr $end_time - $start_time` s.

Или в bash :

start_time=`date +%s`
<command-to-execute> && echo run time is $(expr `date +%s` - $start_time) s
104
ответ дан 24 November 2019 в 11:28
поделиться
root@hostname:~# time [command]

Он также различает используемое реальное время и используемое системное время.

24
ответ дан 24 November 2019 в 11:28
поделиться
Другие вопросы по тегам:

Похожие вопросы: