On 6 November 2016 at 15:25, Gavin Smith <[email protected]> wrote: >>> The node names and line numbers are present in the "virtual index", so >>> it should be sufficient for your needs. >> Any way of accessing this virtual index? > > At present, not from the command-line: only with the "I" command as mentioned. > > I suggest we add a new option so you could do, e.g. "info -f bash > --virtual-index for -o -" and get the list of matching index entries > printed. Do you think that would be a good idea? >
I've implemented this as --virtual-index; however, I wonder if it would be better to make this available as a combination of the --index-search and --all options.
