Pavel Stehule <pavel.steh...@gmail.com> writes: > čt 7. 4. 2022 v 19:04 odesílatel David G. Johnston < > david.g.johns...@gmail.com> napsal: >> \dconfig[+] gets my vote. I was going to say "conf" just isn't common >> jargon to say or write; but the one place it is - file extensions - is >> relevant and common. But still, I would go with the non-jargon form.
> dconfig is better, because google can be confused - dconf is known project > https://en.wikipedia.org/wiki/Dconf Looks like the consensus has shifted to \dconfig. I'll do it like that. regards, tom lane
