как кодом проверить вхождение текстовой строки в текстовый файл ?

[alex_dorin]

Здравствуйте !
  Как кодом проверить вхождение текстовой строки в текстовый файл ?

[spk-ubuntu]

код на каком языке программирования?
например, в терминале:
grep 'что нужно найти' file.txt

[alex_dorin]

в командном файле  1.bat с таким содержимым :

#!/bin/sh
sync
echo 3 | sudo tee /proc/sys/vm/drop_caches

for i in *.TPTP; do ./metis --time-limit 3600  $i >> logout.log; done


проверить наличие в файле logout.log  строки текста c cодержимым "Proof found" ,
и, если обнаружено, то выполнить другие команды, иначе выдать сообщение на экран терминала и завершить работу.

[Azure]

Вам же написали

Код: (bash) [Выделить]

if ! grep -qFm 1 'Proof found' logout.log
then
    echo "Error\! String \"Proof found\" there is not in file logout.log"
    exit 1
fi
другие команды

[alex_dorin]

Так ошибки не будет ?

Код: [Выделить]

#!/bin/sh
sync
echo 3 | sudo tee /proc/sys/vm/drop_caches

for i in *.TPTP; do ./metis --time-limit 3600  $i >> logout.log;
    if  grep -qFm 1 'Proof found' logout.log
    then
        echo "Доказательство найдено"
        exit 1
    fi
done



[Azure]

• Вам это зачем-то нужно делать проверку для каждого файла с расширением .TPTP, потому как логичнее делать проверку 1 раз(не в цикле).
• Вы перевернули логику «если обнаружено, то выполнить другие команды» на «выйти», это осознанно?

[alex_dorin]

да, такая была цель, найдя доказательство, прекратить обработку файлов *.TPTP програмой metis.

[Azure]

Нецелесообразно парсить каждый раз весь logout.log

Код: (bash) [Выделить]

for i in *.TPTP
do
    ./metis --time-limit 3600  $i |
    tee -a logout.log |
    grep -qFm 1 'Proof found' &&
    {
        echo "Доказательство найдено"
        exit
    }
done

[alex_dorin]

Azure,
Спасибо !