groff
[Top][All Lists]
Advanced

[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 18:24:22 +0000

On Mon Apr 10, 2023 at 1:37 PM EDT, Ralph Corderoy wrote:
> Hi DJ,
>
> > Since ditroff stands for “Device Independent troff”
>
> It does.  It means the troff which doesn't have a device hard-coded
> within it but can instead take -Tps, -Tutf8, etc.
>
> The output of the device-independent troff is specific to the chosen -T
> device.  Continuing to include the ‘independent’ as part of the name for
> the output seems wrong.  It's the output of a DI troff but is not itself
> DI.

What about “div roff” or “dev roff” then?

>
> > what about something like ‘dee-vie-roff’ or ‘di-vie-roff’ depending on
> > how you pronounce “device”?
>
> Those not in the know won't see a ‘v’ when looking at ‘ditroff’ so ‘vie’
> won't feature in its pronunciation.

Those not in the know would pronounce it as “ditroff”, just as one
assumes “troff” is pronounced “troff” until someone in the know tells
them.

Cheers,
-- 
DJ Chase
They, Them, Theirs
{gemini,https,ipns}://dj-chase.com/



reply via email to

[Prev in Thread] Current Thread [Next in Thread]