On Mon, Mar 23, 2020 at 9:32 AM Peter Eisentraut < [email protected]> 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
