bash腳本 - 測試的文件具有與字符串

Question

我有包含程序的結果的文件「res.txt」的內容，我需要測試結果與一個字符串「UNSAT」在bash腳本！ 任何幫助！

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 

它將打印1如果該文件包含 「UNSAT」 或0如果沒有。

• 選項在第一次出現-m1停止（避免搜索整個文件）
• 選項-c打印計數。