On Fri, Jul 31, 2015 at 1:43 AM, Gavin Smith <[email protected]> wrote:
> On 31 July 2015 at 02:03, Michael Convey <[email protected]> wrote: > > On Tue, Jul 28, 2015 at 3:26 PM, Karl Berry <[email protected]> > 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 <[email protected]> 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.
