为不同的文件运行命令并存储输出结果答案

【问题标题】：running commands for different files and storing output results为不同的文件运行命令并存储输出结果
【发布时间】：2017-05-15 09:57:00
【问题描述】：

我的计算机中有很多文件，我需要运行带有一些命令的程序才能评估这些文件并获得一些结果。评估其中一个文件的命令如下所示：

./abc
abc 01> read_verilog myfile1.v
abc 02> sat
abc 03> quit

运行“sat”命令后，一些结果将显示在终端中，我需要将它们存储在 .txt 文件中。我已经编写了一个脚本来为 1000 个文件运行此命令（如下），但我的问题是我无法为所有这些文件存储“sat”命令的输出。

  #!/bin/bash
# since Bash v4
for i in {1..1000..1}
do
    ./abc <<EOF
    read_verilog "myfile$i.v"
    sat
    quit
    EOF
done

【问题讨论】：

【解决方案1】：

您可以将 here-doc 的输出写入目标输出文件，如下所示

./abc <<EOF > /tmp/outputfile"${i}".txt
read_verilog "myfile$i.v"
sat
quit
EOF

目标输出路径可以是任何东西，基本上不在/tmp下，可以是outputfile"${i}".txt

【讨论】：