0

我的time命令有问题。我使用/usr/bin/time所以我可以使用-fand-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

该脚本是 android 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，已安装所有更新

4

1 回答 1

0

我不知道是什么，但即使是内置的can ，非内置程序也找不到它brunch的最可能原因是它是 shell 函数或 Bash 别名。timetime

不管是不是这样。. .

[...] 我无法将 [常规time命令的] 输出路由到文件 [...]

你可以写：

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

将（以及其他所有内容）包装time到其 STDERR 已被重定向到文件的命令列表中。

于 2013-03-08T00:38:49.477 回答