[HACKERS] rename pg_log directory?

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.

Obviously, users could set the name back to the old one if they want.

-- 
Peter Eisentraut              http://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services