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