-
Notifications
You must be signed in to change notification settings - Fork 412
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
dune runtest and colored strings in terminal #2664
Comments
Ah, it's because of the way Dune handles colors in the output of commands. Basically, it's not completely pass-through; Dune parses the output of command to interpret ANSI escape sequences and then re-synthetise them. This is unless you pass I checked with strace and the string dune sends to the terminal is Any chance you'd be interested in contributing to Dune? That's a fun self-contained project :-) |
I will try to submit a PR when I have time to work on it :) |
Sounds good. The code to modify is in |
Ok, I'll check that out ! |
Hello,
I noticed a strange behaviour of
dune runtest
.Say I have the following file
test_colors.ml
:And the dune file
When executing
dune runtest
, i get the following :where I would have expected all the characters to be colorized instead.
I have (quickly) tested with different versions of dune; I think the problem appeared in version 1.11.0
The text was updated successfully, but these errors were encountered: