From 6e2a7e979e71733e5bef1ce242ea66813d5a33db Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Fri, 15 Nov 2024 11:22:23 +0100 Subject: [PATCH] tool/run/log/serial: be quiet by default As the initial output of picocom is hardly ever needed, disable it by default to reduce the log noise. Whenever needed, the output can still be enabled by specifying the run tool's --log-serial-cmd. --- tool/run/log/serial | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tool/run/log/serial b/tool/run/log/serial index 02baa7ce11..ab60eeabc3 100644 --- a/tool/run/log/serial +++ b/tool/run/log/serial @@ -8,7 +8,7 @@ source [genode_dir]/tool/run/log.inc -set default_serial_cmd "picocom -b 115200 /dev/ttyUSB0" +set default_serial_cmd "picocom --quiet -b 115200 /dev/ttyUSB0" proc log_serial_cmd { } {