I'm fine with that:
style.color=[auto*|always|never]
the original PR is still based on a CLI option which I don't like because
all other style options are already and only controlled by system
properties.
I have to create a new branch if we can agree on this.
Robert
On Fri, 23 Jun 2017 16:34:55 +0200, Michael Osipov <[email protected]>
wrote:
Am 2017-06-23 um 16:27 schrieb Robert Scholte:
MNG-6220: Add CLI options to control color output
by introducing system property style.color=[auto*|enabled|disabled]
This definitively needs polish and a value style like tree/grep. I left
several comments on the PR.
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
