如何在执行过程中将 /usr/bin/time 输出到正确位置的文件？

Question

我正在编写一个脚本来使用不同的输入文件和标志来批量执行快速排序，并以格式化的方式将它们输出到外部文件中。这是脚本的一部分，以便您可以理解上下文：

echo $file 
echo "Naive Pivot"
count=1
while [ $count -lt 4 ]
do
    echo "Run $count"
    count=$(($count+1))
    time ./quicksort -pn -so < $file
    echo
done

我尝试正常重定向它（从标准输出）

time ./quicksort -pn -so < $file > timing.txt

并尝试从 stderr 重定向（尽管我可能做错了）。

time ./quicksort -pn -so < $file 2 >> timing.txt

我也尝试过

/usr/bin/time -p -o timing.txt -a ./quicksort -pn -so < $file

并使用标准 stderr 输出设置运行脚本，如下所示

./testData.sh > timing.txt 2 > timing.txt

但是，它们都将所有计时数据附加在文件的末尾，而不是在我放在文件之前和之后的 echo 命令的输出之间。因此，虽然一切都在命令行中按顺序出现，但当我尝试运行将输出定向到文件的脚本时，所有的 echo.

我已经用尽了我的个人知识，需要帮助。如何让 time 命令（time 或 /usr/bin/time）正确输出到我的文件中与其执行相关的位置？提前致谢。

Answer 1

time是 bash 内置函数。/usr/bin/time是一个简单的命令行程序。他们需要不同的治疗。

首先，我认为您想要做的是将stderr和重定向stdout到一个文件。在 bash 中，您可以使用&>file（或者&>>file如果您想附加）来执行此操作，或者您可以使用更通用的解决方案：>file 2>&1。（参见“重定向标准输出和标准错误”man bash）。

这对于 来说可以很好地工作/usr/bin/time，这是一个普通的程序，它创建一个子 shell 来运行由其参数描述的程序，然后将计时信息输出到stderr。

但对于 bash 内置命令time（实际上在语法上是命令行的一部分）来说，这是行不通的，因为timed的命令行包含重定向；计时信息被发送到stderrbash 本身的未重定向。time为了得到你想要的，你需要在子 shell 中运行整个d 管道：

(time ./quicksort -pn -so < $file) &> timing.txt