Re: Compressed man pages (was: Accessibility of man pages (was: Playground pager lsp(1)))

2023-04-12 Thread Mingye Wang
On Wed, Apr 12, 2023 at 10:24 PM Alejandro Colomar wrote: > $ sudo make install-man prefix=/opt/local/man/xz___ -j LINK_PAGES=symlink > Z=.xz XZFLAGS= | wc -l Small nitpick here as Kerin's recommended pb=0 isn't actually used. https://bugs.gentoo.org/169260#c19 (from Kerin) suggests that w

Re: Compressed man pages (was: Accessibility of man pages (was: Playground pager lsp(1)))

2023-04-12 Thread Alejandro Colomar
Hi all, After the suggestion by Ralph of trying .lz, Sam's comment about .xz), and Kerin's comment about tuning the compression parameters, I decided to try out everything at once, so we can see the effects of the alternatives. TL;DR: For manual pages, use uncompressed source, or gzip(1).

Re: Compressed man pages (was: Accessibility of man pages (was: Playground pager lsp(1)))

2023-04-12 Thread Kerin Millar
On Wed, 12 Apr 2023 09:13:13 +0100 Sam James wrote: > > Alejandro Colomar writes: > > > [[PGP Signed Part:Undecided]] > > [Added back linux-man@, and people that commented on this (sub)topic] > > [Added Sam, I've got a question for you] > > > > Hi Alexis, > > > > Please keep (at least) linux-m

Re: Compressed man pages (was: Accessibility of man pages (was: Playground pager lsp(1)))

2023-04-12 Thread Sam James
Alejandro Colomar writes: > [[PGP Signed Part:Undecided]] > [Added back linux-man@, and people that commented on this (sub)topic] > [Added Sam, I've got a question for you] > > Hi Alexis, > > Please keep (at least) linux-man@ in the loop. > > On 4/9/23 08:44, Alexis wrote: >> >> As a related da

Re: Compressed man pages (was: Accessibility of man pages (was: Playground pager lsp(1)))

2023-04-09 Thread G. Branden Robinson
[dropping some people I recognize from the groff list from CC] At 2023-04-09T14:17:57+0200, Alejandro Colomar wrote: > - Using plain man(7) source is blazingly fast. So much that I >don't miss mdoc(7)'s indexability so much. > > However, I must admit that I do miss mdoc(7)'s power sometimes

Re: Compressed man pages (was: Accessibility of man pages (was: Playground pager lsp(1)))

2023-04-09 Thread Alejandro Colomar
On 4/9/23 14:29, Colin Watson wrote: > On Sun, Apr 09, 2023 at 02:05:08PM +0200, Alejandro Colomar wrote: >> Important note: Sam, are you sure you want your pages compressed >> with bz2? Have you seen the 10 seconds it takes man-db's man(1) to >> find a word in the pages? I suggest that at leas

Re: Compressed man pages (was: Accessibility of man pages (was: Playground pager lsp(1)))

2023-04-09 Thread Colin Watson
On Sun, Apr 09, 2023 at 02:05:08PM +0200, Alejandro Colomar wrote: > Important note: Sam, are you sure you want your pages compressed > with bz2? Have you seen the 10 seconds it takes man-db's man(1) to > find a word in the pages? I suggest that at least you try to > reproduce these tests in your

Re: Compressed man pages (was: Accessibility of man pages (was: Playground pager lsp(1)))

2023-04-09 Thread Alejandro Colomar
On 4/9/23 14:05, Alejandro Colomar wrote: > [Added back linux-man@, and people that commented on this (sub)topic] > [Added Sam, I've got a question for you] > > Hi Alexis, > > Please keep (at least) linux-man@ in the loop. > > On 4/9/23 08:44, Alexis wrote: >> >> As a related data point, i'd l

Compressed man pages (was: Accessibility of man pages (was: Playground pager lsp(1)))

2023-04-09 Thread Alejandro Colomar
[Added back linux-man@, and people that commented on this (sub)topic] [Added Sam, I've got a question for you] Hi Alexis, Please keep (at least) linux-man@ in the loop. On 4/9/23 08:44, Alexis wrote: > > As a related data point, i'd like to mention Gentoo's position on > this, i.e. that man pa

Re: Accessibility of man pages (was: Playground pager lsp(1))

2023-04-08 Thread Alexis
Alejandro Colomar writes: Colin, I've had a feeling for a long time that compressed pages are not very useful. These days, storage is cheap. How would you feel about having the man pages installed uncompressed in Debian? That would allow running text tools directly in /usr/share/man/. I'

Re: Accessibility of man pages (was: Playground pager lsp(1))

2023-04-08 Thread Alejandro Colomar
Hi Eli, On 4/8/23 15:42, Eli Zaretskii wrote: >> Date: Sat, 8 Apr 2023 15:02:59 +0200 >> Cc: d...@gouders.net, linux-...@vger.kernel.org, help-texi...@gnu.org, >> nabijaczlew...@nabijaczleweli.xyz, g.branden.robin...@gmail.com, >> groff@gnu.org >> From: Alejandro Colomar >> >> If you want how s

Re: Accessibility of man pages (was: Playground pager lsp(1))

2023-04-08 Thread Alejandro Colomar
Hi Colin, On 4/8/23 15:47, Colin Watson wrote: > On Sat, Apr 08, 2023 at 03:02:59PM +0200, Alejandro Colomar wrote: >> Colin, I've had a feeling for a long time that compressed pages are >> not very useful. These days, storage is cheap. How would you feel >> about having the man pages installed

Re: Accessibility of man pages (was: Playground pager lsp(1))

2023-04-08 Thread Colin Watson
On Sat, Apr 08, 2023 at 03:02:59PM +0200, Alejandro Colomar wrote: > Colin, I've had a feeling for a long time that compressed pages are > not very useful. These days, storage is cheap. How would you feel > about having the man pages installed uncompressed in Debian? That > would allow running t

Re: Accessibility of man pages (was: Playground pager lsp(1))

2023-04-08 Thread Eli Zaretskii
> Date: Sat, 8 Apr 2023 15:02:59 +0200 > Cc: d...@gouders.net, linux-...@vger.kernel.org, help-texi...@gnu.org, > nabijaczlew...@nabijaczleweli.xyz, g.branden.robin...@gmail.com, > groff@gnu.org > From: Alejandro Colomar > > If you want how symlinks are dereferenced by find(1): > > $ man find

Accessibility of man pages (was: Playground pager lsp(1))

2023-04-08 Thread Alejandro Colomar
Hi Eli, Colin, On 4/8/23 09:05, Eli Zaretskii wrote: >> Date: Sat, 8 Apr 2023 00:01:08 +0200 >> Cc: d...@gouders.net, linux-...@vger.kernel.org, help-texi...@gnu.org, >> наб , >> "G. Branden Robinson" , groff , >> Colin Watson >> From: Alejandro Colomar >> >>> How do you find the description

Re: man page rendering speed (was: Playground pager lsp(1))

2023-04-08 Thread Ralph Corderoy
Hi Branden, > You're referring to cat pages. As far as I know, these are on their > way out if not already gone. catman must die. It was never a good solution to the problem. As well as ignoring different TERMs, it also didn't handle a user's variations to a terminal's definition. I'm glad to

Re: Playground pager lsp(1)

2023-04-08 Thread Eli Zaretskii
> Date: Sat, 8 Apr 2023 00:01:08 +0200 > Cc: d...@gouders.net, linux-...@vger.kernel.org, help-texi...@gnu.org, > наб , > "G. Branden Robinson" , groff , > Colin Watson > From: Alejandro Colomar > > > How do you find the description of, say, "dereference symbolic link" > > (to take just a ran

Re: Playground pager lsp(1)

2023-04-07 Thread Alejandro Colomar
Hi Eli, On 4/6/23 10:11, Eli Zaretskii wrote: >> Date: Thu, 6 Apr 2023 03:10:59 +0200 >> Cc: d...@gouders.net, linux-...@vger.kernel.org, help-texi...@gnu.org >> From: Alejandro Colomar >> >>> This last sentence is a misunderstanding. The goal of Texinfo is not >>> to improve the man pages. Tex

reformatting man pages at SIGWINCH (was: Playground pager lsp(1))

2023-04-07 Thread Alejandro Colomar
Hi Branden, On 4/7/23 04:18, G. Branden Robinson wrote: > At 2023-04-06T03:10:59+0200, Alejandro Colomar wrote: >> Hmm, now that I think, it's probably an issue of coordinating man(1) >> and less(1). I sometimes wish that when I resize a window where I'm >> reading a man page, it would reformat t

Re: man page rendering speed (was: Playground pager lsp(1))

2023-04-07 Thread Alejandro Colomar
Hi Gavin, On 4/7/23 21:28, Gavin Smith wrote: > On Fri, Apr 07, 2023 at 09:04:03PM +0200, Alejandro Colomar wrote: >> $ time man -w gcc | xargs zcat | groff -man -Tutf8 2>/dev/null >/dev/null >> >> real 0m0.406s >> user 0m0.534s >> sys 0m0.042s >> >> But as others said, I don't really care about

Re: man page rendering speed (was: Playground pager lsp(1))

2023-04-07 Thread Gavin Smith
On Fri, Apr 07, 2023 at 09:04:03PM +0200, Alejandro Colomar wrote: > $ time man -w gcc | xargs zcat | groff -man -Tutf8 2>/dev/null >/dev/null > > real 0m0.406s > user 0m0.534s > sys 0m0.042s > > But as others said, I don't really care about the time it takes to format > the entire document,

Re: man page rendering speed (was: Playground pager lsp(1))

2023-04-07 Thread Alejandro Colomar
Hi! On 4/7/23 17:06, Eli Zaretskii wrote: >> Date: Fri, 7 Apr 2023 09:43:19 -0500 >> From: "G. Branden Robinson" >> Cc: alx.manpa...@gmail.com, d...@gouders.net, cjwat...@debian.org, >> linux-...@vger.kernel.org, help-texi...@gnu.org, groff@gnu.org >> >> ...which brings me to the other facto

Re: man page rendering speed (was: Playground pager lsp(1))

2023-04-07 Thread Colin Watson
On Fri, Apr 07, 2023 at 09:43:19AM -0500, G. Branden Robinson wrote: > At 2023-04-07T09:36:10+0300, Eli Zaretskii wrote: > > > From: "G. Branden Robinson" > [re-running *roff when a viewing a man page and resizing the terminal] > > > Seems like it shouldn't be impossible to me, but what I imagine

Re: man page rendering speed (was: Playground pager lsp(1))

2023-04-07 Thread Larry McVoy
On Fri, Apr 07, 2023 at 06:06:39PM +0300, Eli Zaretskii wrote: > > Date: Fri, 7 Apr 2023 09:43:19 -0500 > > From: "G. Branden Robinson" > > Cc: alx.manpa...@gmail.com, d...@gouders.net, cjwat...@debian.org, > > linux-...@vger.kernel.org, help-texi...@gnu.org, groff@gnu.org > > > > ...which br

Re: man page rendering speed (was: Playground pager lsp(1))

2023-04-07 Thread Eli Zaretskii
> Date: Fri, 7 Apr 2023 09:43:19 -0500 > From: "G. Branden Robinson" > Cc: alx.manpa...@gmail.com, d...@gouders.net, cjwat...@debian.org, > linux-...@vger.kernel.org, help-texi...@gnu.org, groff@gnu.org > > ...which brings me to the other factor, of which I'm more confident: man > page rend

man page rendering speed (was: Playground pager lsp(1))

2023-04-07 Thread G. Branden Robinson
[adding Colin Watson to CC to solicit his man(1) implementation knowledge; adding the groff list as this sub-discussion is relevant to its interests] At 2023-04-07T09:36:10+0300, Eli Zaretskii wrote: > > From: "G. Branden Robinson" [re-running *roff when a viewing a man page and resizing the term