diff --git a/tools/fetch-distro.py b/tools/fetch-distro.py index 2dad51be24..4387af8397 100755 --- a/tools/fetch-distro.py +++ b/tools/fetch-distro.py @@ -35,7 +35,7 @@ def parse_args(): return p.parse_args() def read_config(distro: str): - cmd = ['mkosi', '--json', '-d', distro, 'summary'] + cmd = ['mkosi', '--json', '-d', distro, '-f', 'summary'] if args.profile: cmd += ['--profile', args.profile] print(f"+ {shlex.join(cmd)}")