Hello,

On Tue, May 06, 2003 at 10:12:20PM +0200, Jim Meyering wrote:
>   $ grep -q --help > /dev/full && echo ok
>   grep: write error: No space left on device
>   ok

thank you very much for pointing this out; I haven't thought about this.

> While without -q, it works as I'd expect:
>   $ grep --help > /dev/full && echo ok
>   grep: write error: No space left on device
>   [Exit 1]

No, I'd expect exit code 2 in both cases, not 1.

I have revised my previous patch; see the patch attached to this mail.
(It's relative to plain 2.5.1.)  Feedback welcome, of course.

> P.S. Thanks for taking up the reins of GNU grep.

Well I have to admit that I haven't done much yet.
But I hope I'll get to it soon.  ;-)

Have a nice day,
	Stepan Kasal