<p dir="ltr"><br /> On Jun 19, 2013 7:55 PM, "Peter Eisentraut" <<a
href="mailto:peter_e@gmx.net">peter_e@gmx.net</a>>wrote:<br /> ><br /> > On 6/19/13 1:49 PM, Josh Berkus
wrote:<br/> > > On 06/19/2013 10:48 AM, Peter Eisentraut wrote:<br /> > >> On 6/13/13 5:47 PM, Josh
Berkuswrote:<br /> > >>>> 2. File name to store settings set by ALTER SYSTEM command is still<br /> >
>>>>>persistent.auto.conf<br /> > >>> Why? Shouldn't it just be auto.conf? Or
system.auto.conf?<br/> > >>><br /> > >>> I prefer auto.conf, personally.<br /> > >><br
/>> >> Well, not much about it is automatic, really. It's just set elsewhere.<br /> > >><br /> >
><br/> > > True, but can you think of a better word to mean "don't edit this by hand"?<br /> ><br /> >
generated_by_server.conf<pdir="ltr">System.conf? <p dir="ltr">/Magnus