Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Check if stderr is a terminal for error messages (#1766)
Prveiusly we checked whether `stdout` is a terminal to make our coloring decision, and then we proceeded to happily assume the same state applies to `stderr` for ad mctual error messages. However, if someone redirects `stdout` to capture evaluation results, `stderr` may still be a terminal and should receive colored output in this case. This PR omplements this behavior and makes the choice of which output stream to check explicit.
- Loading branch information