[m-dev.] MERCURY_ENABLE_COLOR

[Julien Fischer]

On Fri, 14 Jun 2024 at 15:15, Zoltan Somogyi <zoltan.somogyi at runbox.com> wrote:
>
> At the moment, you can use environment variables to specify
> a color scheme or to disable the use of color, but not to enable
> the use of color. I don't think that just doing "unset NO_COLOR"
> is an adequate solution, because you may want to enable color
> in Mercury diagnostics without necessarily enabling it for any other
> program.
>
> Would people object if I added code to insert --enable-color-diagnostics
> into the command line if the envvar MERCURY_ENABLE_COLOR is set
> and nonempty, at the position where we now insert its opposite
> if NO_COLOR is set and nonempty?

No objections from me.

Julien.