[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [help-texinfo] Search full content of all info nodes similar to 'man
From: |
Gavin Smith |
Subject: |
Re: [help-texinfo] Search full content of all info nodes similar to 'man -K ' |
Date: |
Fri, 31 Jul 2015 09:43:31 +0100 |
On 31 July 2015 at 02:03, Michael Convey <address@hidden> wrote:
> On Tue, Jul 28, 2015 at 3:26 PM, Karl Berry <address@hidden> wrote:
>>
>>
>> BTW, even simpler:
>> zgrep /usr/share/info/* foo
>
>
> $ zgrep /usr/share/info/* \'\-\-\'
> gzip: '--'.gz: No such file or directory
>
It should be "zgrep foo /usr/share/info/*", I think. This also prints
the filenames.
- [help-texinfo] Search full content of all info nodes similar to 'man -K ', Michael Convey, 2015/07/26
- Re: [help-texinfo] Search full content of all info nodes similar to 'man -K ', Gavin Smith, 2015/07/26
- Re: [help-texinfo] Search full content of all info nodes similar to 'man -K ', Michael Convey, 2015/07/27
- Re: [help-texinfo] Search full content of all info nodes similar to 'man -K ', Karl Berry, 2015/07/28
- Re: [help-texinfo] Search full content of all info nodes similar to 'man -K ', Michael Convey, 2015/07/30
- Re: [help-texinfo] Search full content of all info nodes similar to 'man -K ',
Gavin Smith <=
- Re: [help-texinfo] Search full content of all info nodes similar to 'man -K ', Michael Convey, 2015/07/31
- Re: [help-texinfo] Search full content of all info nodes similar to 'man -K ', Eli Zaretskii, 2015/07/31
- Re: [help-texinfo] Search full content of all info nodes similar to 'man -K ', Michael Convey, 2015/07/31
Re: [help-texinfo] Search full content of all info nodes similar to 'man -K ', Michael Convey, 2015/07/30