Это также зависит от размера и структуры команды (команд), работающей над Вашим проектом. Если существуют различные команды, полагающиеся на каждый API других, он может иметь много смысла иметь ночные сборки для частой интеграции. Если Вы взламываете далеко только с одним или двумя помощниками команды, это может или не может стоить того.
Не забывайте, что есть разница между встроенной командой 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
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
root@hostname:~# time [command]
Он также различает используемое реальное время и используемое системное время.