Re: Permanent settings

Aidan Van Dyk wrote:
>>> Any "set permanent" settings should be *appended* to the main config
>>> file, preferably with a comment line, like:
>>>     # Set by user <USER> from client <CLIENT> on <TIMESTAMP>
>>>     some_guc option = some_value
>>>       
>> Are you suggesting we keep appending? So if I set the same parameter 100
>> times, it would show up on 100 rows?
>>     
>
> In my opinion, absolutely.  It's easy, safe, and the "overhead"
> associated with it is minimal, and not in any critical path "work" path.
> Add to that the fact that the admin can easily clean up the file any
> time he wants too.
>
>   

I think this is quite unacceptable and ugly. Creating an ever-growing 
file that the admin would have to clean up by hand is horrid.

ISTM that this whole area is likely to be difficult unless we move to a 
more structured config file (JSON, anyone?)

cheers

andrew