Re: Indexed search with grep-like output

[Stefan Monnier]

> Sure, we are just saying it a bit different. To be clear, here is an example:

Good, thanks.

> Not one particular external tool, but one particular type of externa
> tool, i.e. an indexed text search engine for the desktop (or
> computer). I guess they all are similar enough to fit here.

I hope so, too, though there can be significant differences in the kind
of query they accept.


        Stefan