Re: Accessibility of man pages

2023-04-09 Thread Dirk Gouders
Hi Ingo, Ingo Schwarze writes: > Dirk Gouders wrote on Sat, Apr 08, 2023 at 10:59:32PM +0200: >> Ingo Schwarze writes: >>> Dirk Gouders wrote on Sat, Apr 08, 2023 at 09:48:13PM +0200: > Yes, it's very slow but close to `man -K`: find... man -K... real 107.4

Re: Accessibility of man pages

2023-04-09 Thread Ralph Corderoy
Hi, (Colin, something for you near the end; search ‘interesting’.) Eli wrote: > Dirk wrote: > > $ find /usr/share/man -type f -exec bzgrep -l RLIMIT_NOFILE {} \; ... > > find... man -K... > > > > real 107.45 real 96.34 > > user 117.06 user 70.11 > > sys 14.43

Re: Accessibility of man pages

2023-04-09 Thread Dirk Gouders
Dirk Gouders writes: > Hi Ingo, > > Ingo Schwarze writes: >> Dirk Gouders wrote on Sat, Apr 08, 2023 at 10:59:32PM +0200: >>> Ingo Schwarze writes: Dirk Gouders wrote on Sat, Apr 08, 2023 at 09:48:13PM +0200: >> > Yes, it's very slow but close to `man -K`: > > find...

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

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

2023-04-09 Thread Ralph Corderoy
Hi Alejandro, > Sure; do you have a mailing list, or should I send them to you and > CC linux-man@? I have at least one bug report for you. Start from https://man-db.gitlab.io/man-db/, which is the home page according to Arch Linux's package, and you'll end up in all the typical places: mailing

Proposed v2: an eqn keyword change: gfont -> gifont

2023-04-09 Thread G. Branden Robinson
Thanks to Damian, Ralph, and Doug for the feedback. At 2023-04-08T15:54:55+1000, Damian McGuckin wrote: > On Fri, 7 Apr 2023, G. Branden Robinson wrote: > > > Crazy? Sensible? A long time coming? > > Answers areL No. Yes. At long last. > > The fix does not look quite right but maybe my brain

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: Formatting difference with 1.23.0.rc3 (ms)

2023-04-09 Thread G. Branden Robinson
At 2023-04-08T19:38:49-0500, G. Branden Robinson wrote: > Yes. Technically, this changed behavior is the result of a bug fix to > bring our rendering of ms documents more in line with AT&T troff ms, and > we don't ordinarily document bug fixes in the NEWS file. > > https://savannah.gnu.org/bugs/?

Re: pdfroff in groff 1.23.0.rc3 changes compared to 1.22.4

2023-04-09 Thread G. Branden Robinson
Hi John, At 2023-04-08T23:46:52+1000, John Gardner wrote: > > I know I will be mightily tempted to encourage others to adopt the > > practice, in large part because "device-independent [gt]roff] > > output" is far too long to type or speak repeatedly. > > I've always just called it "ditroff" (*"d

Re: Formatting difference with 1.23.0.rc3 (ms)

2023-04-09 Thread Christof Meerwald
On Sun, Apr 09, 2023 at 02:11:17PM -0500, G. Branden Robinson wrote: > At 2023-04-08T19:38:49-0500, G. Branden Robinson wrote: > > Yes. Technically, this changed behavior is the result of a bug fix to > > bring our rendering of ms documents more in line with AT&T troff ms, and > > we don't ordinar

Re: sensitivity vs. specificity in software testing

2023-04-09 Thread G. Branden Robinson
At 2023-04-08T18:26:13+0100, Ralph Corderoy wrote: > > My personal test procedures, I think, adequately do this for man(7); > > every time I'm about to push I render all of our man pages (about 60 > > source documents) to text and compare them to my cache of the ones I > > rendered the last time I