You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Removes mets:files that do not point to existing local files
…or the implementation should not remove files that also have a .url.
Since we also have workspace find ... --undo-download (removing .local_filename in METS and filesystem for those entries which also have a .url – if implemented properly, i.e. fixing #1150) the former makes more sense to me, as the latter would be redundant behaviour.
The text was updated successfully, but these errors were encountered:
The documentation for the
prune-files
command says:However, that's not what is implemented:
core/src/ocrd/cli/workspace.py
Lines 560 to 577 in 26a3f78
So either the documentation should read…
…or the implementation should not remove files that also have a
.url
.Since we also have
workspace find ... --undo-download
(removing.local_filename
in METS and filesystem for those entries which also have a.url
– if implemented properly, i.e. fixing #1150) the former makes more sense to me, as the latter would be redundant behaviour.The text was updated successfully, but these errors were encountered: