Bashスクリプトは文字列でファイルの内容をテストします。

Question

私はプログラムの結果を含む 'res.txt'ファイルを持っています。その結果を文字列 "UNSAT"でテストする必要があります。 助けてください！

Answer 1

たとえば、my_scriptというスクリプトを作成しないと、あなたの質問を誤って読んでいる可能性があります。

#!/bin/bash 
output=$(find ./ -type f -name 'res.txt' | xargs grep "UNSAT") 
echo $output 
exit 0 

Answer 2

grepはあなたの答えです：

grep -m1 -c "UNSAT" res.txt 

ファイルは "UNSAT" または0ない場合が含まれている場合、それは1を印刷します。

• 最初に出現した（検索ファイル全体を避ける）
• オプション-cプリントカウントで停止-m1オプション。