[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.
- Re: Indexed search with grep-like output, Lennart Borgman, 2011/03/13
- Re: Indexed search with grep-like output,
Eli Zaretskii <=
- Re: Indexed search with grep-like output, Lennart Borgman, 2011/03/17
- Re: Indexed search with grep-like output, Stefan Monnier, 2011/03/17
- Re: Indexed search with grep-like output, Chong Yidong, 2011/03/19
- Re: Indexed search with grep-like output, Lennart Borgman, 2011/03/19
- Re: Indexed search with grep-like output, Jambunathan K, 2011/03/20
- Re: Indexed search with grep-like output, Chong Yidong, 2011/03/24