From 1eaac0072da34c754ac847620c04f52b2eae4db1 Mon Sep 17 00:00:00 2001 From: Woody Date: Sat, 3 Feb 2024 00:44:38 +0100 Subject: [PATCH] Add a separate folder for .gz release files --- pio-scripts/output_bins.py | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/pio-scripts/output_bins.py b/pio-scripts/output_bins.py index e12b11c2c..cfedacead 100644 --- a/pio-scripts/output_bins.py +++ b/pio-scripts/output_bins.py @@ -24,12 +24,15 @@ def _create_dirs(dirs=["firmware", "map"]): def create_release(source): release_name = _get_cpp_define_value(env, "WLED_RELEASE_NAME") + # get file extension of source file (.bin or .bin.gz) + ext = source.split(".", 1)[1] if release_name: - _create_dirs(["release"]) + folder = "release" + if ext == "bin.gz": + folder = "release_gz" + _create_dirs([folder]) version = _get_cpp_define_value(env, "WLED_VERSION") - # get file extension of source file (.bin or .bin.gz) - ext = source.split(".", 1)[1] - release_file = "{}release{}WLED_{}_{}.{}".format(OUTPUT_DIR, os.path.sep, version, release_name, ext) + release_file = "{}{}{}WLED_{}_{}.{}".format(OUTPUT_DIR, folder, os.path.sep, version, release_name, ext) shutil.copy(source, release_file) def bin_rename_copy(source, target, env):