異なるファイルのコマンドを実行して出力結果を保存する

Question

私のコンピュータにはたくさんのファイルがあります。このファイルを評価して結果を得るには、いくつかのコマンドでプログラムを実行する必要があります。ファイルのいずれかを評価するためのコマンドは次のようなものです：

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

「座って」コマンドを実行した後、いくつかの結果が端末に表示されますと、私は.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 

Answer 1

あなたは目標出力パスは、何もすることが本質的/tmp下にない、ちょうどoutputfile"${i}".txt

可能性ができ

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

以下のようにターゲット出力ファイルにヒアドキュメントの出力を書き込むことができます