Re: [help-texinfo] Search full content of all info nodes similar to 'man -K '

[Gavin Smith]

On 31 July 2015 at 02:03, Michael Convey <smcon...@gmail.com> wrote:
> On Tue, Jul 28, 2015 at 3:26 PM, Karl Berry <k...@freefriends.org> 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.