> On 28 Jan 2022, at 4:46 pm, raf <[email protected]> wrote:
>
>> Well for things like "import_environment" or "proxy_read_maps", ...
>> you really do want to know just the additions to the built-in
>> defaults.
>
> Good point.
Of course a cheap cop out to handle just these special cases is
to include an extension variable dereference in the default
value:
import_environment = ... default settings ... $site_import_environment
Then the user can just assign a non-empty value to $site_import_environment.
Ditto for "proxy_read_maps". Perhaps this would be enough, if we augment
the variables for which this is most likely to be useful...
Of course "+=" would be much more general, and perhaps not too painful
to implement...
--
VIktor.