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

[Michael Convey]

On Fri, Jul 31, 2015 at 1:43 AM, Gavin Smith <address@hidden> wrote:

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.

​That works perfectly, thanks!

​

​

On Fri, Jul 31, 2015 at 11:42 AM, Eli Zaretskii <address@hidden> wrote:

You should use "info --apropos" instead.  That searches the index
entries, and so is much more likely to find the issue you are looking
for than a brute-force search for words.  Maintainers of GNU manual
put a lot of effort into providing good end extensive index entries
that cover every subject discussed in a manual, so searching indices
is much more efficient.  I suggest to try it.

​$ info -- apropos ​

​

\'\-\-\'

info: No available info files have ''--'' in their indices. 

More often than not, the indices do not include my search term; but that is the best place to try first.