Workspace.download_file: download to same local_filename

OCR-D / core

Collection of OCR-related python tools and wrappers from @OCR-D

https://ocr-d.de/core/

Apache License 2.0

118 stars 31 forks source link

Workspace.download_file: download to same local_filename #1228

Closed bertsky closed 4 months ago

bertsky commented 4 months ago

if there already is a .local_filename which does not exist on the filesystem, then try to download it to the same location (without changing the .local_filename or .url)

So this is a partial fix for #1149 (addressing sub-issue 3).