Bash脚本 - 用String-测试文件的内容

Question

我有一个包含程序结果的文件'res.txt'，我需要在Bash脚本中使用字符串“UNSAT”测试该结果！ 任何帮助！

Answer 1

如果没有创建一个名为my_script的脚本，我可能会错误地阅读你的问题。

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

Answer 2

Grep是你的答案：

1

如果文件包含“UNSAT”，则会打印0，否则会打印-m1。

• 选项-c在第一次出现时停止（避免搜索整个文件）
• 选项#include <stdio.h> int main(void) { int c; while((c=getchar())!='\0') { putchar(c); } } 打印计数。