Stephen Frost <sfrost@snowman.net> writes:
> In passing, I noticed that we have a lot of documentation like:
> This parameter can only be set in the postgresql.conf file or on the
> server command line.
> ... which hasn't been true since the introduction of ALTER SYSTEM.
Well, it's still true if you understand "the postgresql.conf file"
to cover whatever's included by postgresql.conf, notably
postgresql.auto.conf (and the include facility existed long before
that, too, so you needed the expanded interpretation even then).
Still, I take your point that it's confusing.
I like your suggestion of shortening all of these to be "can only be set
at server start", or maybe better "cannot be changed after server start".
I'm not sure whether or not we really need new text elsewhere; I think
section 20.1 is pretty long already.
regards, tom lane
