Sun, 17 Jul 2022 18:07:46 +0200 Edouard Tisserant CLI: Explicitely wait for user interrupt (-k) and flush stdout each line.