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

2023-04-08 Thread G. Branden Robinson
Hi Christof, At 2023-04-08T20:56:57+0200, Christof Meerwald wrote: > just gave 1.23.0.rc3 a quick try Thank you for evaluating this RC. Our maintainer might be able to tag an RC4 this weekend and 1..n weeks after that, I hope, we'll go final. > and noticed a difference for the following input w

Re: Accessibility of man pages

2023-04-08 Thread Ingo Schwarze
Hi Dirk, 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.45 real 96.34 >>> user 117

Re: Accessibility of man pages

2023-04-08 Thread Alejandro Colomar
On 4/8/23 23:53, Alejandro Colomar wrote: > Colin, did I do anything wrong to have this slowness in man(1) with > uncompressed pages? Also, it's finding some repeated lines; did we > find a bug? > > > $ man -Kaw RLIMIT_NOFILE > /opt/local/man/expanded__/share/man/man3/errno.3 > /opt/local/man/

Re: Accessibility of man pages

2023-04-08 Thread Alejandro Colomar
Hi Dirk, Ingo, Eli, Colin, I prepared some (hopefully) fair comparison: $ sudo make install-man prefix=/opt/local/man/compressed -j LINK_PAGES=symlink Z=.gz >/dev/null $ sudo make install-man prefix=/opt/local/man/expanded__ -j LINK_PAGES=symlink >/dev/null I don't know what kind of mag

Re: Accessibility of man pages

2023-04-08 Thread Dirk Gouders
Hi Ingo, Ingo Schwarze writes: > Hi Dirk, > > 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.45 real 96.34 >> user 117.06 user 70.11 >> sys 14.43 sys 26.86

Re: Accessibility of man pages

2023-04-08 Thread Dirk Gouders
Eli Zaretskii writes: >> From: Dirk Gouders >> Cc: Colin Watson , Eli Zaretskii , >> linux-...@vger.kernel.org, help-texi...@gnu.org, >> nabijaczlew...@nabijaczleweli.xyz, g.branden.robin...@gmail.com, >> groff@gnu.org >> Date: Sat, 08 Apr 2023 21:48:13 +0200 >> >> $ fin

Re: Accessibility of man pages

2023-04-08 Thread Ingo Schwarze
Hi Dirk, 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.45 real 96.34 > user 117.06 user 70.11 > sys 14.43 sys 26.86 > > [a thought later] > > Oh, I found someth

Re: Accessibility of man pages

2023-04-08 Thread Eli Zaretskii
> From: Dirk Gouders > Cc: Colin Watson , Eli Zaretskii , > linux-...@vger.kernel.org, help-texi...@gnu.org, > nabijaczlew...@nabijaczleweli.xyz, g.branden.robin...@gmail.com, > groff@gnu.org > Date: Sat, 08 Apr 2023 21:48:13 +0200 > > $ find /usr/share/man -type f -exec b

Re: Accessibility of man pages

2023-04-08 Thread Dirk Gouders
Hi Alex, Colin Watson writes: > 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

Formatting difference with 1.23.0.rc3 (ms)

2023-04-08 Thread Christof Meerwald
Hi, just gave 1.23.0.rc3 a quick try and noticed a difference for the following input with -ms (-Tascii and -Tpdf show the same difference): .nr PD 1v .LP X1 .LD X2 .DE .LP X3 .LD X4 .DE X5 .LP .LP X6 with 1.23.0.rc3 I now only get a single blank line between X2 and X3, but with earlier versions

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

2023-04-08 Thread John Gardner
> > Yes. Though it contains device-dependent troff output. :-) > Aye, but most folks would find that less confusing than a format named after a fish … ;-) > The ‘dit’ suffix is probably what I've seen the most. > Same, although I personally prefer to use

Re: sensitivity vs. specificity in software testing

2023-04-08 Thread Ralph Corderoy
Hi Branden, > 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 pushed. Yes, that's good as a lone developer.

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

2023-04-08 Thread Ralph Corderoy
Hi John, > I've always just called it "ditroff" (*"device-independent troff > [output]"*), with *.dit and *.ditroff being my typical choice of file > extensions. The ‘dit’ suffix is probably what I've seen the most. > I'm aware that it's a reappropriation of an obsolete name for all > post-Osann

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: Proposed: an eqn keyword change: gfont -> gifont

2023-04-08 Thread Douglas McIlroy
The proposal is clean and well defended. Perfecting tweaks for the proposed man page: 1. Delete the parenthesized remark about boldface. At best it is TMI, at worst, condescending. 2. To parallel the phrase "to be set in italic", delete "type" from "to be set in roman type". 3. Delete the last

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: pdfroff in groff 1.23.0.rc3 changes compared to 1.22.4

2023-04-08 Thread John Gardner
Hi Branden, > 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" (*"device-independent troff [output]"*), with *.dit and *.

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: reformatting man pages at SIGWINCH

2023-04-08 Thread Ralph Corderoy
Hi, > > > (1) what part of the screen was the reader actually looking at? less(1) has -j; that would be a good start. > > > (2) how is the pager supposed to know how to map any given > > > location on the screen back to a place in the unrendered source > > > document so it can be accurately foun

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: Proposed: an eqn keyword change: gfont -> gifont

2023-04-08 Thread Ralph Corderoy
Hi Branden, > gbfont f > Set the bold font to f. > > gifont f > Set the italic font to f. > > grfont f > Set the roman font to f. > > For AT&T eqn compatibility, gfont is recognized as a synonym for > gifont. gbfont f Set the bold font to f.

Re: hyperlink for doc.tmac (man:, mailto:)?

2023-04-08 Thread G. Branden Robinson
Hi Mingye, At 2023-04-08T13:46:37+0800, Mingye Wang wrote: > Groff 1.23 introduced .MR in an.tmac with hyperlinking, so out of > curiosity I checked doc.tmac for anything analogous. It looks like the > .Xr macro there is a little bare without any reference to a "man:" URI > scheme; so are the .Mt

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