Open kindlychung opened 8 years ago
Indeed they are color escape codes. It'd be easy to disable them with -Dsbt.log.noformat=true
but color highlighting sounds like a better idea.
Will be disabling them for now and leave this issue open until color highlighting is in place.
Thanks for the tip!
Small update: now disabling color escape codes in logs
Here is an example:
I suppose characters like these
[0m[[0minfo[0m] [0m
are color escape codes? These don't belong in a web page, maybe it's a good idea to transform them into html/css?