[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Indexed search with grep-like output

From: Eli Zaretskii
Subject: Re: Indexed search with grep-like output
Date: Mon, 14 Mar 2011 07:30:38 -0400

> From: Lennart Borgman <address@hidden>
> Date: Mon, 14 Mar 2011 01:14:30 +0100
> Cc: address@hidden, address@hidden, address@hidden
> However I got another problem with docsearch. I want to do things like this
>   docsearch ext:pdf ext:org -a first second .
> If I use both ext:pdf and ext:org they should be OR-ed but I get no
> hits then. Do you have any idea what is wrong?

Maybe it's a bug in docsearch.  But why do you care in which documents
the information lives?  I never use the ext: query, precisely
_because_ I don't care and don't want to remember in what format the
info is stored and where.  Just let it search everything, the search
is lightning fast anyway.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]