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打印计数。