Re: grep /dev/null

[Kevin Rodgers <ihs_4664@yahoo.com>]

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).

With respect to compile, I posted a patch back in October 1996 that
defines a new variable (compile-disable-input) and sends an EOF to the
compilation process if it is non-nil (which it is, by default).  I also
posted a compilation-mode-hook function (compile-enable-input) that
allows the user to run compilations that require input by emulating
comint-mode in the *compilation* buffer.

-- 
Kevin Rodgers