This is "regular expression" magic:
^ Beginning of line
[^@ ] Anything not an @-sign nor a space
+ At least one of the preceding regular expression
(in this case, at least one character, which can be
neither an @-sign nor a space)
$ End of line
--
Hugh Pritchard, Smoke N' Mirrors, 703/318-1440,
Hugh(_at_)snm(_dot_)com
On Mon, 4 Nov 1996, Robby Lee wrote:
|To: procmail(_at_)Informatik(_dot_)RWTH-Aachen(_dot_)DE
|Subject: Re: using grep
|
|On Mon, 4 Nov 1996, Alan K. Stebbens wrote:
|> >
|> > is it possible to combine this command?
|> >
|> > %grep ^. *list | grep -v @
|>
|> grep '^[^@ ]+$' *list
|
| What does '+$' do??