From c922c780946ae522237f970991300cdcda20a3a7 Mon Sep 17 00:00:00 2001 From: Christian Marangi Date: Mon, 25 Mar 2024 11:00:38 +0100 Subject: [PATCH] scripts/dl_github_archive: add support for packing zstd archive Add support for packing .zst archive when creating Github mirror tar. Signed-off-by: Christian Marangi --- scripts/dl_github_archive.py | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/scripts/dl_github_archive.py b/scripts/dl_github_archive.py index 580b7cba38..744c441ca7 100755 --- a/scripts/dl_github_archive.py +++ b/scripts/dl_github_archive.py @@ -138,7 +138,11 @@ class Path(object): envs = os.environ.copy() if ts is not None: args.append('--mtime=@%d' % ts) - if into.endswith('.xz'): + if into.endswith('.zst'): + envs['ZSTD_CLEVEL'] = '20' + envs['ZSTD_NBTHREADS'] = '0' + args.append('--zstd') + elif into.endswith('.xz'): envs['XZ_OPT'] = '-7e' args.append('-J') elif into.endswith('.bz2'):