输出 time 命令的结果到文件中

由于输出 time 命令的结果到文件时使用的错误的方式，所以将其记录下来。环境是bash。

目标

将运行的a.out程序的输出和其所花的时间重定向到日志文件中

无效的例子１

time ./a.out > logfile
time ./a.out | tee logfile

上面的例子是重定向结果到logfile，下面的例子是通过tee把标准输出输出到文件。
但是只有time的输出没有被记录到文件中。

这是因为time的结果是通过标准错误输出的。

所以不把标准错误输出重定向到文件中是不行的。

无效的例子２

把错误输出也重定向到文件。

time ./a.out >& logfile
time ./a.out > logfile 2>&1
time ./a.out 2>&1 | tee logfile

然而，这也是没有用的。

./a.out >& logfile
./a.out > logfile 2>&1
./a.out 2>&1 | tee logfile

因为这只是意味着把a.out的错误和标准输出重定向到logfile。

ＯＫ的例子

我们是想把 time ./a.out 的结果输出到logfile，所以：

(time ./a.out) >& logfile
(time ./a.out) > logfile 2&>1
(time ./a.out) 2>&1 | tee logfile

用括号括起来。这样就搞定了。换句话说，你是在一个子shell中运行。

另外最新的bash不仅支持>&也支持&>。
也可以用{;} 指定一组命令。

{ time ./a.out ; } >& logfile
{ time ./a.out ; } > logfile 2&1
{ time ./a.out ; } 2>&1 | tee logfile

{ 后一定要加空格，如果没有的话，会报错　-bash: syntax error near unexpected token `}’　。后面的冒号；也不要忘了。

/usr/bin/time

顺便说一下，bash内置的命令time和ＧＮＵ的time命令是不一样的。通过追加完整的路径/usr/bin/time 可以执行ＧＮＵ命令。
但是和内置的bash不同的是，不加括号也可以将所有的输出重定向到文件。当然加括号也没问题。

/usr/bin/time ./a.out >& logfile
/usr/bin/time ./a.out > logfile 2>&1
/usr/bin/time ./a.out 2>&1 | tee logfile

而且有输出到文件的选项-o。

/usr/bin/time -o logfile ./a.out

但是这只会把time的结果写到文件。使用追加选项-a就可以了。

/usr/bin/time -a -o logfile ./a.out > logfile

GNU的time命令跟bash的time比的话，数据更详细，也能指定多种输出格式。
详细的情况请使用man time，bash的time的话使用help time。