Re: [HACKERS] rename pg_log directory?

Peter Eisentraut <peter.eisentraut@2ndquadrant.com> writes:
> How about changing the default for log_directory from 'pg_log' to, say,
> 'log'?

> We have been emphasizing that the prefix "pg_" is for things reserved to
> PostgreSQL, whereas the pg_log directory is entirely an arbitrary
> user-space name.  Also, with a different name, the directory would stand
> out more between all the other pg_* directories in the data directory.

No objection to the basic point, but "log" seems perhaps a little too
generic to me.  Would something like "server_log" be better?
        regards, tom lane