core/loggingmanager.lua
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