changeset 11661 | 46fa1b939e88 |
parent 11647 | f534eeee1552 |
child 12251 | dcad8940f072 |
--- a/core/loggingmanager.lua Sun Jul 04 15:11:07 2021 +0200 +++ b/core/loggingmanager.lua Sun Jul 04 15:11:53 2021 +0200 @@ -213,7 +213,7 @@ end log_sink_types.stdout = log_to_stdout; -local do_pretty_printing = true; +local do_pretty_printing = not have_pposix or pposix.isatty(stdout); local logstyles, pretty; if do_pretty_printing then