Re: RFC: Additional Directory for Extensions

On Apr 25, 2025, at 07:33, Christoph Berg <myon@debian.org> wrote:
>
> Re: David E. Wheeler
>> +<programlisting>
>> +make install prefix=/etc/postgresql
>
> I'd use /usr/local/postgresql there. "/etc" is just wrong.

Thank you for the review. Here’s v3*.

Best,

David

* Also reviewable as a GitHub PR[1].

[1]: https://github.com/theory/postgres/pull/10