[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: A file suffix for troff's output.
From: |
DJ Chase |
Subject: |
Re: A file suffix for troff's output. |
Date: |
Mon, 10 Apr 2023 17:28:51 +0000 |
On Mon Apr 10, 2023 at 8:42 AM EDT, Ralph Corderoy wrote:
> > > troff lays out its input.
> > > The input has been placed on the page.
> > > It is typeset.
> > > It is set.
> > >
> > > troff chapter.tr >chapter.set
> >
> > $ file chapter.set
> > chapter.set: ditroff output text for PostScript, ASCII text
> >
> > Wouldn’t “.ditroff” be more appropriate?
>
> The question was what else to use other than .dit or .ditroff given
> Kernighan has ‘never been fond if it’.
>
> I don't like ditroff either. It's too long as a suffix. Given troff is
> tee-roff is it die-tee-roff, unfortunate, or dee-eye-tee-roff? Both are
> long to say.
Since ditroff stands for “Device Independent troff”, what about
something like ‘dee-vie-roff’ or ‘di-vie-roff’ depending on how you
pronounce “device”?* I think we should avoid changing file suffixes as
much as possible, given that the *roff + macros suffixes are already out
of hand.
Cheers,
--
DJ Chase
They, Them, Theirs
{gemini,https,ipns}://dj-chase.com/
* We could also abandon the whole “‘nroff’ is too hard to say because
god forbid we use a glide” (like how “children” and “oxen” are in the
same declension because “children” is really “childen” with an r sound
to make it easier to say) thing and start saying “roff”, “nerroff”,
“troff”, “groff”, and “ditroff”.
- Re: pdfroff in groff 1.23.0.rc3 changes compared to 1.22.4, (continued)
- Re: pdfroff in groff 1.23.0.rc3 changes compared to 1.22.4, G. Branden Robinson, 2023/04/06
- Re: pdfroff in groff 1.23.0.rc3 changes compared to 1.22.4, G. Branden Robinson, 2023/04/06
- Re: pdfroff in groff 1.23.0.rc3 changes compared to 1.22.4, Damian McGuckin, 2023/04/06
- Re: pdfroff in groff 1.23.0.rc3 changes compared to 1.22.4, John Gardner, 2023/04/08
- Re: pdfroff in groff 1.23.0.rc3 changes compared to 1.22.4, Ralph Corderoy, 2023/04/08
- Re: pdfroff in groff 1.23.0.rc3 changes compared to 1.22.4, John Gardner, 2023/04/08
- Re: pdfroff in groff 1.23.0.rc3 changes compared to 1.22.4, G. Branden Robinson, 2023/04/09
- A file suffix for troff's output. (Was: pdfroff in groff 1.23.0.rc3 changes compared to 1.22.4), Ralph Corderoy, 2023/04/10
- Re: A file suffix for troff's output. (Was: pdfroff in groff 1.23.0.rc3 changes compared to 1.22.4), DJ Chase, 2023/04/10
- Re: A file suffix for troff's output., Ralph Corderoy, 2023/04/10
- Re: A file suffix for troff's output.,
DJ Chase <=
- Re: A file suffix for troff's output., Ralph Corderoy, 2023/04/10
- Re: A file suffix for troff's output., DJ Chase, 2023/04/10
- Re: A file suffix for troff's output. (Was: pdfroff in groff 1.23.0.rc3 changes compared to 1.22.4), Lennart Jablonka, 2023/04/10
- Re: A file suffix for troff's output. (Was: pdfroff in groff 1.23.0.rc3 changes compared to 1.22.4), Steve Izma, 2023/04/10
- Re: A file suffix for troff's output., Ralph Corderoy, 2023/04/10
- Re: A file suffix for troff's output., Steve Izma, 2023/04/10
- Re: A file suffix for troff's output. (Was: pdfroff in groff 1.23.0.rc3 changes compared to 1.22.4), Alejandro Colomar, 2023/04/10
- Re: A file suffix for troff's output., Ralph Corderoy, 2023/04/10
- Re: A file suffix for troff's output., Alejandro Colomar, 2023/04/10
- Re: A file suffix for troff's output., Alejandro Colomar, 2023/04/21