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/
