flush streamed text for better piping experience

2025-08-08 22:36:48 +02:00 · 2021-09-13 20:51:24 -07:00
parent 2d6b53e012
commit bf0bc32d7a
1 changed files with 2 additions and 1 deletions
--- a/jc/cli.py
+++ b/jc/cli.py
@ -625,7 +625,8 @@ def main():
                               pretty=pretty,
                               env_colors=jc_colors,
                               mono=mono,
-                               piped_out=piped_output()))
+                               piped_out=piped_output()),
+                      flush=True)  # unbuffers between piped commands

            sys.exit(combined_exit_code(magic_exit_code, 0))