zsh-workers
 help / color / mirror / Atom feed
* 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)
  To: zsh-workers

# stephane@chazelas.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:

https://www.gnu.org/software/texinfo/manual/texinfo/html_node/Info-Format-FAQ.html


-- 
roman


^ 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

zsh-workers

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 \
		zsh-workers@zsh.org
	public-inbox-index zsh-workers

Example config snippet for mirrors.
Newsgroup available over NNTP:
	nntp://inbox.vuxu.org/vuxu.archive.zsh.workers


code repositories for the project(s) associated with this inbox:

	https://git.vuxu.org/mirror/zsh/

AGPL code for this site: git clone https://public-inbox.org/public-inbox.git