Zsh Mailing List Archive
Messages sorted by: Reverse Date, Date, Thread, Author

Re: Better Help Docs Searching?



On 2021-08-01 09:25:32 -0700, Bart Schaefer wrote:
> You can also jump straight to individual entries from the command line, e.g.,
> 
> info --index-search=read zsh
> 
> As it happens "info zsh read" also goes directly to the "read" builtin
> but that form prefers menu items to the index.

Shouldn't the run-help function use that (if available) instead of
the man page?

-- 
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)




Messages sorted by: Reverse Date, Date, Thread, Author