Re: grep /dev/null

[Andreas Schwab]

Kevin Rodgers <address@hidden> writes:

> Karl Chen wrote:
>> I think it would be useful if such grep invocations terminate
>> immediately.  One easy way would be to always append " /dev/null
>> (i.e. grep-use-null-device) or " </dev/null".  In fact, it might
>> be a good idea to add an optional flag to start-process so that
>> `compilation-start' can reliably pipe from null by default.
>
> I don't understand: `M-x grep' does append null-device to the command
> line (unless it's been set to nil).

Unless grep understands the -H option.

Andreas.

-- 
Andreas Schwab, SuSE Labs, address@hidden
SuSE Linux Products GmbH, Maxfeldstraße 5, 90409 Nürnberg, Germany
Key fingerprint = 58CA 54C7 6D53 942B 1756  01D3 44D5 214B 8276 4ED5
"And now for something completely different."