Извлечь строки с ошибками

Дан смешанный лог /app/mixed.log из 20 строк, где часть строк — ошибки
(содержат слово ERROR), а часть — обычные INFO/WARN. Нужен файл
/app/errors.txt, содержащий только строки с ERROR.

Симптомы

2024-01-01 INFO service started
2024-01-01 ERROR db connection failed
2024-01-01 WARN cache miss
2024-01-01 ERROR timeout calling upstream
...

Ошибки размазаны по логу. Файла /app/errors.txt ещё нет.

Требуемое состояние

/app/errors.txt содержит все и только те строки из /app/mixed.log, в
которых есть подстрока ERROR. Порядок строк не важен, но каждая строка
должна совпадать с исходной дословно.

Почему

grep — основной инструмент фильтрации строк по шаблону. Вытащить все
ошибки из лога — самая частая разовая операция при разборе инцидента.