Overwrite .new files if needed

Addresses issue #213
2023-04-01 22:25:11 -07:00 · 2023-04-01 22:25:11 -07:00 · 96136e8e46
commit 96136e8e46
parent ddb9c4041b
1 changed files with 1 additions and 0 deletions
--- 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