Grep: --quiet & suggestion

[Jori Mantysalo]

Is this one a bug or feature?

$ cat text
cat
dog
$ (grep -q -m 1 cat ; grep -q -m 1 dog) < text && echo 'Found!'
$ (grep -m 1 cat ; grep -m 1 dog) < text && echo 'Found!'
cat
dog
Found!

An question: is there easy way to find text files containing first "cat"
and then later "dog"? If you say
 (grep -m 1 cat ; grep -m 1 dog) > /dev/null < text && echo 'Found!'
it will work if text is cat-linefeed-dog, but it doesn't work if text is
cat-space-dog. Somehow I think that grep should have option like -m which
would work with -o and ensures that standard input is positioned to just
after the last match, not after last matching line.

-- 
Jori Mäntysalo