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 documentation for the
prune-files
command says:However, that's not what is implemented: https://github.com/OCR-D/core/blob/26a3f787cd7746b8e197427e74c532edbecefd8b/src/ocrd/cli/workspace.py#L560-L577
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.