You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Options --monitorcolors, --monitorwidth and --monitormarkers are badly named. They affect how execution is reported on the console and should be called --consolecolors, --consolewidth and --consolemarkers instead. This is especially important when we added new --console option (#317) to control the overall console output style.
The change is backwards incompatible and thus we cannot just remove the old options but need to deprecate them first. We can keep old short options -C, -W and -K to ease transition to new options.
The text was updated successfully, but these errors were encountered:
pekkaklarck
changed the title
Deprecate --monitorxxx options in favor of --consolexxx options
Deprecate --monitorxxx options in favor of --consolexxxJun 16, 2015
Options
--monitorcolors
,--monitorwidth
and--monitormarkers
are badly named. They affect how execution is reported on the console and should be called--consolecolors
,--consolewidth
and--consolemarkers
instead. This is especially important when we added new--console
option (#317) to control the overall console output style.The change is backwards incompatible and thus we cannot just remove the old options but need to deprecate them first. We can keep old short options
-C
,-W
and-K
to ease transition to new options.The text was updated successfully, but these errors were encountered: