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

2023-04-12 Thread Ralph Corderoy
Hi Sam, > I started looking into changing to xz (or just.. not bz2, anyway) If you're putting effort into researching another compressor then consider lzip(1). https://www.nongnu.org/lzip/lzip.html Its author compares it against xz in particular. https://www.nongnu.org/lzip/xz_inadequate.html

Re: Compressed man pages

2023-04-12 Thread Mingye Wang
On Wed, Apr 12, 2023 at 4:36 PM Ralph Corderoy wrote: > If you're putting effort into researching another compressor then > consider lzip(1). https://www.nongnu.org/lzip/lzip.html > > Its author compares it against xz in particular. > https://www.nongnu.org/lzip/xz_inadequate.html lzip is cool a

Re: Compressed man pages

2023-04-12 Thread Ralph Corderoy
Hi Mingye, > the thing is we are talking about storage for distribution on every > single person's computer No, I was talking to s...@gentoo.org so I assumed Gentoo as the target. > We are looking at a world where almost every system has xz installed > because of some past decisions, unfortunate

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 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 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

2023-04-12 Thread Alejandro Colomar
Hi Mingye, On 4/12/23 20:52, Mingye Wang wrote: > 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. > ht