> Am 30.05.2018 um 17:22 schrieb Michael Paquier <michael@paquier.xyz>:
>
> On Wed, May 30, 2018 at 12:28:27PM +0300, Ildar Musin wrote:
>> Here extra.conf is implied to be a file in extension's root directory which
>> contains additional server options.
>> This would only work for `make check` though, not `make installcheck`.
>
> REGRESS_OPTS is more widely known for this purpose, and I use it as
> well. Still, I agree that there is no need to add an extra mechanism
> with PGOPTIONS if a feature already exists. One thing which is also
--temp-config is only supported in temp-instance mode which I wanted to avoid
But if you think that this feature is supported enough by this I agree it doesn’t make sense
to add something. I just don’t see any disadvantage in my approach.
Manuel