Re: pg_type_d.h location incorrect

"tanghy.fnst@fujitsu.com" <tanghy.fnst@fujitsu.com> writes:
> On Thursday, May 27, 2021 10:58 AM, Tom Lane <tgl@sss.pgh.pa.us> wrote
>> So I ended up with the attached --- what do you think?

> The doc-fix LGTM.
> But I couldn't apply the patch at HEAD(2941138e60). Maybe you did the fix at a branch other than HEAD?

No ... "patch -p1 <~/improve-pgservice-docs.patch" works fine for me.

>> Also, looking at this, I note that "~/.pg_service.conf" is still a
>> platform-ism.  We could make that slightly better by writing
>> "$HOME/.pg_service.conf", but is that good enough?

> Agreed. Besides, A lot of places in current Doc have been useing ~/.pg_*** already.
> IMHO, it's good to keep the consistency.

Oh, good point ... grepping finds lots of occurrences of '~/' and
only one of '$HOME/'.  Seems like we ought to change that one:

$ grep -r 'HOME/' .
./config.sgml:        This writes out files to <filename>$HOME/.debug/jit/</filename>; the

            regards, tom lane