add repository print

diff --git a/mkosi b/mkosi
index 9d3d8e0af9862fc9bf946b2daed6a91f8bb411ea..324b8e57b034656911cee32848a5b5ea8fe590ca 100755 (executable)
--- a/mkosi
+++ b/mkosi
@@ -4310,6 +4310,8 @@ def print_summary(args: CommandLineArguments) -> None:
         sys.stderr.write("          Architecture: " + args.architecture + "\n")
     if args.mirror is not None:
         sys.stderr.write("                Mirror: " + args.mirror + "\n")
+    if args.repositories is not None and len(args.repositories) > 0:
+        sys.stderr.write("          Repositories: " + ','.join(args.repositories) + "\n")
     sys.stderr.write("\nOUTPUT:\n")
     if args.hostname:
         sys.stderr.write("              Hostname: " + args.hostname + "\n")