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

Re: Better Help Docs Searching?

X-seq: zsh-users 26859
From: Vincent Lefevre <vincent@xxxxxxxxxx>
To: Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx>
Cc: Zach Riggle <zachriggle@xxxxxxxxx>, Zsh Users <zsh-users@xxxxxxx>
Subject: Re: Better Help Docs Searching?
Date: Thu, 5 Aug 2021 11:56:26 +0200
Archived-at: <https://zsh.org/users/26859>
In-reply-to: <CAH+w=7aMRVYDP+im+eYG629G85j6SYgQQ3R0d-ZHUm4xVgbE2A@mail.gmail.com>
List-id: <zsh-users.zsh.org>
Mail-followup-to: Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx>, Zach Riggle <zachriggle@xxxxxxxxx>, Zsh Users <zsh-users@xxxxxxx>
References: <CAMP9c5m=oOwSvEaqVF62GF0=BjjMnS8fBEmbcWz9ydxqx=tvZQ@mail.gmail.com> <CAH+w=7aMRVYDP+im+eYG629G85j6SYgQQ3R0d-ZHUm4xVgbE2A@mail.gmail.com>

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)

References:
- Better Help Docs Searching?
  - From: Zach Riggle
- Re: Better Help Docs Searching?
  - From: Bart Schaefer

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