[m-dev.] MERCURY_ENABLE_COLOR

[Peter Wang]

On Fri, 14 Jun 2024 17:19:51 +1000 "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
> 
> On 2024-06-14 17:04 +10:00 AEST, "Peter Wang" <novalazy at gmail.com> wrote:
> > Even if we didn't have the --color option, I think it still makes sense
> > for the environment variable be able to enable *or* disable color.
> 
> An environment variable does already do that: NO_COLOR.
> I don't object to setting MERCURY_ENABLE_COLOR=never
> or MERCURY_ENABLE_COLOR=no having the same effect.
> I just don't see the need. But I don't object either, so pick
> the mapping from MERCURY_ENABLE_COLOR values to
> on/off and I will implement it.

It's not necessary, no. To disable color in the Mercury compiler
specifically, you would set MERCURY_COLOR_SCHEME=none, which is fine
but if you're adding another environment variable anyway...

How about: MERCURY_ENABLE_COLOR=1|0|always|never

Peter