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

[Michael Convey]

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

However, I get hits with Gavin's suggestion, as follows:
for f in /usr/share/info/*info*gz ; do echo $f ; gzip -cd $f | grep \'\-\-\' ;
done