Re: [HACKERS] rename pg_log directory?
| От | Magnus Hagander |
|---|---|
| Тема | Re: [HACKERS] rename pg_log directory? |
| Дата | |
| Msg-id | CABUevEyA7ZWNM1+RK2EEwgPUUEmU0dTZBk6hM-MBOu92bUVW4g@mail.gmail.com обсуждение исходный текст |
| Ответ на | Re: [HACKERS] rename pg_log directory? (Bruce Momjian <bruce@momjian.us>) |
| Ответы |
Re: [HACKERS] rename pg_log directory?
Re: [HACKERS] rename pg_log directory? |
| Список | pgsql-hackers |
On Tue, Feb 28, 2017 at 4:01 AM, Bruce Momjian <bruce@momjian.us> wrote:
On Mon, Feb 27, 2017 at 09:51:26AM -0500, Tom Lane wrote:
> 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?
"activity_log"? I like the idea of a rename.
server_log seems like a better choice then I think. So +1 for that.
In theory cluster_log since it's a "cluster level log", but given how many people already get confused by the term cluster being used that way, I think that while maybe technically correct, that would be a very bad choice.
В списке pgsql-hackers по дате отправления: