diff --git a/docker/appstream-gen.py b/docker/appstream-gen.py index 57645a3..2ea9e16 100644 --- a/docker/appstream-gen.py +++ b/docker/appstream-gen.py @@ -30,16 +30,18 @@ DEFAULT_NOTE = "Über Unternehmens-Repo bereitgestellt." def die(msg): - print(f"[appstream-gen] FEHLER: {msg}", file=sys.stderr) + sys.stdout.flush() + print(f"[appstream-gen] FEHLER: {msg}", file=sys.stderr, flush=True) sys.exit(1) def warn(msg): - print(f"[appstream-gen] WARNUNG: {msg}", file=sys.stderr) + sys.stdout.flush() + print(f"[appstream-gen] WARNUNG: {msg}", file=sys.stderr, flush=True) def info(msg): - print(f"[appstream-gen] {msg}") + print(f"[appstream-gen] {msg}", flush=True) def sanitize_id_part(value):