Re: color by default

Поиск
Список
Период
Сортировка
От Juan José Santamaría Flecha
Тема Re: color by default
Дата
Msg-id CAC+AXB2fNoHKfO7+bGa_FKg9iqnXfnGxxF5xiaR=3LzL_NJ81A@mail.gmail.com
обсуждение исходный текст
Ответ на Re: color by default  (Peter Eisentraut <peter.eisentraut@2ndquadrant.com>)
Ответы Re: color by default  (Peter Eisentraut <peter.eisentraut@2ndquadrant.com>)
Список pgsql-hackers

On Mon, Mar 23, 2020 at 9:32 AM Peter Eisentraut <peter.eisentraut@2ndquadrant.com> wrote:

I'm giving up on making color the default, since there is clearly no
consensus.

Attached is the documentation patch reworked.

I think there is also some value in adding the functionality proposed in terminal_supports_color().

Regards,

Juan José Santamaría Flecha 

В списке pgsql-hackers по дате отправления:

Предыдущее
От: Tomas Vondra
Дата:
Сообщение: Re: Additional improvements to extended statistics
Следующее
От: David Steele
Дата:
Сообщение: Re: Creating foreign key on partitioned table is too slow