grep string

A grep command is composed as follows:

grep -n string /dev/null

and passed to the shell for execution. The output is sent to the buffer *compilation*. The messages can be subsequently processed by the next-error or this-error commands.

The shell under which the grep command is executed is controlled by the resource named shellExec. This should be the full pathname of the shell along with any necessary flags. The default is /bin/csh -f. The shell is invoked with a command that sets its working directory to the current working directory of the buffer from which the command grep was invoked.