* Re: Better Help Docs Searching?
@ 2021-08-10 16:29 Roman Neuhauser
0 siblings, 0 replies; only message in thread
From: Roman Neuhauser @ 2021-08-10 16:29 UTC (permalink / raw)
# firstname.lastname@example.org / 2021-08-01 17:33:14 +0100:
> 2021-08-01 18:21:14 +0200, Mikael Magnusson:
> > info version also probably has them, but I'm not sure if anyone knows
> > how to navigate an info document.
> Press "h" within "info" to get started with it.
> It's really astonishing that so few people know about it after
> so many decades it's been around.
there's roughly zero people who were ever unable to figure out how to
scroll a man page or how to quit the pager, while info (the software)
is hellbent to please people who have no need to leave emacs.
i decided to give info a real chance a few weeks ago, zsh man pages
are too much for a pager. i spent one friday night writing ~/.infokey
to make info palatable to me (ended up with 168 lines).
that thing segfaulted five times in as many hours, C-q behavior was
"drop dead immediately" *in some contexts* no matter what i had
configured, and incremental search forgets the pattern after landing
on the first match, rendering C-x C-n (just 'n' for me) useless.
info makes it really hard for me to like it.
and this is not satire:
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2021-08-10 18:35 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-08-10 16:29 Better Help Docs Searching? Roman Neuhauser
This inbox may be cloned and mirrored by anyone:
git clone --mirror https://inbox.vuxu.org/zsh-workers
# If you have public-inbox 1.1+ installed, you may
# initialize and index your mirror using the following commands:
public-inbox-init -V1 zsh-workers zsh-workers/ https://inbox.vuxu.org/zsh-workers \
Example config snippet for mirrors.
Newsgroup available over NNTP:
code repositories for the project(s) associated with this inbox:
AGPL code for this site: git clone https://public-inbox.org/public-inbox.git