linux-man.vger.kernel.org archive mirror
 help / color / mirror / Atom feed
From: Eli Zaretskii <eliz@gnu.org>
To: "G. Branden Robinson" <g.branden.robinson@gmail.com>
Cc: alx.manpages@gmail.com, dirk@gouders.net,
	linux-man@vger.kernel.org, help-texinfo@gnu.org
Subject: Re: Playground pager lsp(1)
Date: Fri, 07 Apr 2023 09:36:10 +0300	[thread overview]
Message-ID: <83fs9cp5b9.fsf@gnu.org> (raw)
In-Reply-To: <20230407021822.3grfnenicwjhdive@illithid> (g.branden.robinson@gmail.com)

> Date: Thu, 6 Apr 2023 21:18:22 -0500
> From: "G. Branden Robinson" <g.branden.robinson@gmail.com>
> Cc: Eli Zaretskii <eliz@gnu.org>, dirk@gouders.net,
> 	linux-man@vger.kernel.org, help-texinfo@gnu.org
> 
> > 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 the page from source.
> 
> Seems like it shouldn't be impossible to me, but what I imagine would
> require a little reëngineering of man(1), perhaps to spawn a little
> custom program to manage zcat/nroff pipeline it constructs.  This little
> program's sole job could be to be aware of this pipeline and listen for
> SIGWINCH; if it happens, kill the rest of the pipeline and reëxecute it.

This should be possible, but it flies in the face of the feature
whereby formatted man pages are kept for future perusal, which is
therefore faster: if the formatted pages reflect the particular size
of the pager's window, it is meaningless to cache them.

>   ... Run the command 'sudo make uninstall'.  (If you successfully used
>   'make install', simply run 'make uninstall'.)  At a minimum, some
>   directories not particular to groff, like 'bin' and (depending on
>   configuration) an X11 'app-defaults' directory will remain, as will
>   one plain file called 'dir', created by GNU Texinfo's 'install-info'
>   command.  (As of this writing, 'install-info' offers no provision for
>   removing an effectively empty 'dir' file, and groff does not attempt
>   to parse this file to determine whether it can be safely removed.)
>   All other groff artifacts will be deleted from the installation
>   hierarchy.
> 
> Any chance 'install-info' could get savvy as noted above?  (Maybe it
> already has--I'm running 6.7.0.)

Why does it make sense to do that?  An "empty" DIR file is not really
empty: it has instructions at its beginning, which are important for
newbies.  Also, on well-maintained system, DIR will rarely become
empty, and if it does, it will soon enough become non-empty again,
since all the Info manuals installed on the system should be mentioned
there, and why would we want to imagine a system which has no Info
manuals at all, not even an Info manual that describes how to use Info
(which comes with the Texinfo distribution)?

So I think Groff should remove that paragraph from its instructions,
because (IMO) it is misleading and unnecessary.

Of course, mine is not the authoritative opinion about how the Texinfo
project should develop its programs, it is just one opinion.  So wait
for Gavin to chime in.

  reply	other threads:[~2023-04-07  6:35 UTC|newest]

Thread overview: 73+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2023-03-25 20:37 Playground pager lsp(1) Dirk Gouders
2023-03-25 20:47 ` Dirk Gouders
2023-04-04 23:45   ` Alejandro Colomar
2023-04-05  5:35     ` Eli Zaretskii
2023-04-06  1:10       ` Alejandro Colomar
2023-04-06  8:11         ` Eli Zaretskii
2023-04-06  8:48           ` Gavin Smith
2023-04-07 22:01           ` Alejandro Colomar
2023-04-08  7:05             ` Eli Zaretskii
2023-04-08 13:02               ` Accessibility of man pages (was: Playground pager lsp(1)) Alejandro Colomar
2023-04-08 13:42                 ` Eli Zaretskii
2023-04-08 16:06                   ` Alejandro Colomar
2023-04-08 13:47                 ` Colin Watson
2023-04-08 15:42                   ` Alejandro Colomar
2023-04-08 19:48                   ` Accessibility of man pages Dirk Gouders
2023-04-08 20:02                     ` Eli Zaretskii
2023-04-08 20:46                       ` Dirk Gouders
2023-04-08 21:53                         ` Alejandro Colomar
2023-04-08 22:33                           ` Alejandro Colomar
2023-04-09 10:28                       ` Ralph Corderoy
2023-04-08 20:31                     ` Ingo Schwarze
2023-04-08 20:59                       ` Dirk Gouders
2023-04-08 22:39                         ` Ingo Schwarze
2023-04-09  9:50                           ` Dirk Gouders
2023-04-09 10:35                             ` Dirk Gouders
     [not found]                 ` <87a5zhwntt.fsf@ada>
2023-04-09 12:05                   ` Compressed man pages (was: Accessibility of man pages (was: Playground pager lsp(1))) Alejandro Colomar
2023-04-09 12:17                     ` Alejandro Colomar
2023-04-09 18:55                       ` G. Branden Robinson
2023-04-09 12:29                     ` Colin Watson
2023-04-09 13:36                       ` Alejandro Colomar
2023-04-09 13:47                         ` Compressed man pages Ralph Corderoy
2023-04-12  8:13                     ` Compressed man pages (was: Accessibility of man pages (was: Playground pager lsp(1))) Sam James
2023-04-12  8:32                       ` Compressed man pages Ralph Corderoy
2023-04-12 10:35                         ` Mingye Wang
2023-04-12 10:55                           ` Ralph Corderoy
2023-04-12 13:04                       ` Compressed man pages (was: Accessibility of man pages (was: Playground pager lsp(1))) Kerin Millar
2023-04-12 14:24                         ` Alejandro Colomar
2023-04-12 18:52                           ` Mingye Wang
2023-04-12 20:23                             ` Compressed man pages Alejandro Colomar
2023-04-13 10:09                             ` Ralph Corderoy
2023-04-07  2:18         ` Playground pager lsp(1) G. Branden Robinson
2023-04-07  6:36           ` Eli Zaretskii [this message]
2023-04-07 11:03             ` Gavin Smith
2023-04-07 14:43             ` man page rendering speed (was: Playground pager lsp(1)) G. Branden Robinson
2023-04-07 15:06               ` Eli Zaretskii
2023-04-07 15:08                 ` Larry McVoy
2023-04-07 17:07                 ` man page rendering speed Ingo Schwarze
2023-04-07 19:04                 ` man page rendering speed (was: Playground pager lsp(1)) Alejandro Colomar
2023-04-07 19:28                   ` Gavin Smith
2023-04-07 20:43                     ` Alejandro Colomar
2023-04-07 16:08               ` Colin Watson
2023-04-08 11:24               ` Ralph Corderoy
2023-04-07 21:26           ` reformatting man pages at SIGWINCH " Alejandro Colomar
2023-04-07 22:09             ` reformatting man pages at SIGWINCH Dirk Gouders
2023-04-07 22:16               ` Alejandro Colomar
2023-04-10 19:05                 ` Dirk Gouders
2023-04-10 19:57                   ` Alejandro Colomar
2023-04-10 20:24                   ` G. Branden Robinson
2023-04-11  9:20                     ` Ralph Corderoy
2023-04-11  9:39                     ` Dirk Gouders
2023-04-17  6:23                       ` G. Branden Robinson
2023-04-08 11:40               ` Ralph Corderoy
2023-04-05 10:02     ` Playground pager lsp(1) Dirk Gouders
2023-04-05 14:19       ` Arsen Arsenović
2023-04-05 18:01         ` Dirk Gouders
2023-04-05 19:07           ` Eli Zaretskii
2023-04-05 19:56             ` Dirk Gouders
2023-04-05 20:38             ` A less presumptive .info? (was: Re: Playground pager lsp(1)) Arsen Arsenović
2023-04-06  8:14               ` Eli Zaretskii
2023-04-06  8:56                 ` Gavin Smith
2023-04-07 13:14                 ` Arsen Arsenović
2023-04-06  1:31       ` Playground pager lsp(1) Alejandro Colomar
2023-04-06  6:01         ` Dirk Gouders

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=83fs9cp5b9.fsf@gnu.org \
    --to=eliz@gnu.org \
    --cc=alx.manpages@gmail.com \
    --cc=dirk@gouders.net \
    --cc=g.branden.robinson@gmail.com \
    --cc=help-texinfo@gnu.org \
    --cc=linux-man@vger.kernel.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).