Время не может запустить бранч?

Question

У меня проблема с командой time. Я использую /usr/bin/time, поэтому могу использовать модификаторы -f и -o.

Мой сценарий:

make clean 
repo sync -j5 
. ./platform_manifest/manual_add_kernel_manifest.sh \ 
    && . build/envsetup.sh \ 
    && /usr/bin/time -o log$day$month.log -f "Buildtime: %E" brunch aokp_mako-eng 

Сценарий является частью автоматизированной системы сборки для андроид ROM.

Когда он попадает в части времени, я получаю:

/usr/bin/time: cannot run brunch: No such file or directory 
Command exited with non-zero status 127 
Buildtime: 0:00.00 

бранч отлично работает с обычной time командой, но я не могу маршрут его вывод в файл, поэтому я использую /usr/bin/time в первое место. Если есть способ сделать это, это нормально для меня, так как я могу обрезать заголовок real: с помощью | awk '{ print $2 }'.

Любая помощь приветствуется!

Ubuntu 12.04, все обновления установлены

Answer 1

Я не знаю, что brunch есть, но, скорее всего, причина того, что не программа -builtin time не может найти его, даже когда встроенный timeможет, это то, что это функция оболочки или псевдоним Bash.

Независимо от того, действительно ли это так. , ,

[& hellip;] Я не могу маршрут вывода [регулярного time командования] в файл [& hellip;]

Вы можете написать:

{ time brunch aokp_mako-eng ; } 2>"log$day$month.log" 

обернуть time (и все else) в список команд, чей STDERR уже перенаправлен в файл.