From 96136e8e4605e7fa9e0797ed6f0fd59aba288419 Mon Sep 17 00:00:00 2001 From: 2Shirt <2xShirt@gmail.com> Date: Sat, 1 Apr 2023 22:25:11 -0700 Subject: [PATCH] Overwrite .new files if needed Addresses issue #213 --- scripts/wk/kit/tools.py | 1 + 1 file changed, 1 insertion(+) diff --git a/scripts/wk/kit/tools.py b/scripts/wk/kit/tools.py index 641beb2b..cf0ea34d 100644 --- a/scripts/wk/kit/tools.py +++ b/scripts/wk/kit/tools.py @@ -38,6 +38,7 @@ def download_file(out_path, source_url, as_new=False, overwrite=False, referer=N download_msg = f'Downloading {name}...' if as_new: out_path = out_path.with_suffix(f'{out_path.suffix}.new') + overwrite = True print(download_msg, end='', flush=True) # Avoid clobbering