1

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

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 命令的输出之间。因此，尽管命令行中的所有内容都按顺序出现，但当我尝试运行将输出定向到文件的脚本时，所有的回显。

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

4

1 回答 1

3

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
于 2013-08-21T04:07:04.947 回答