小编Ron*_*ski的帖子

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

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

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
Run Code Online (Sandbox Code Playgroud)

我尝试正常重定向它(从标准输出)

time ./quicksort -pn -so < $file > timing.txt
Run Code Online (Sandbox Code Playgroud)

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

time ./quicksort -pn -so < $file 2 >> timing.txt
Run Code Online (Sandbox Code Playgroud)

我也尝试过

/usr/bin/time -p -o timing.txt -a ./quicksort -pn -so < $file
Run Code Online (Sandbox Code Playgroud)

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

./testData.sh > timing.txt 2 > timing.txt
Run Code Online (Sandbox Code Playgroud)

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

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

bash shell time

2
推荐指数
1
解决办法
3895
查看次数

标签 统计

bash ×1

shell ×1

time ×1