Re: SQL command to edit postgresql.conf, with comments - Mailing list pgsql-hackers

From Dimitri Fontaine
Subject Re: SQL command to edit postgresql.conf, with comments
Date
Msg-id m2k4lmvzw4.fsf@2ndQuadrant.fr
Whole thread Raw
In response to Re: SQL command to edit postgresql.conf, with comments  (Tom Lane <tgl@sss.pgh.pa.us>)
Responses Re: SQL command to edit postgresql.conf, with comments
List pgsql-hackers
Tom Lane <tgl@sss.pgh.pa.us> writes:
> I'm not sure if anybody is particularly against the initial contents
> looking like that.  The big problem, which both you and Dimitri are
> conveniently ignoring, is that if people are allowed to hand-edit
> the file they are going to introduce comments that no mechanical
> parser will do a nice job of preserving.

IMO the only reason why my proposal is sound is that is address the
point. Consider:

cat postgresql.conf.d/work_mem
16MB
This database needs at least such a value.
Note it's overridden in some ROLEs setup.


With such a format (name is filename, value is first line content's,
rest is comments), it's easy to preserve comments and have them machine
editable. What do I miss?

Regards,
-- 
Dimitri Fontaine
http://2ndQuadrant.fr     PostgreSQL : Expertise, Formation et Support


pgsql-hackers by date:

Previous
From: David Christensen
Date:
Subject: Re: SQL command to edit postgresql.conf, with comments
Next
From: David Fetter
Date:
Subject: Re: Extensions, this time with a patch