OCR-D
Wishlist: ocrd workspace download
Currently ocrd workspace find --download is the way to download the files of a workspace. I propose aliasing this to an - arguably - more user-friendly ocrd workspace download command.
I'm unsure if "arguably" is the right word here. What I mean is: It is to be discussed if this new command would be more user-friendly. I think it would be, because I don't want to "find" any files.
It would not be a huge effort to implement this, I'll have a go at it once time permits. PR welcome :)
Found myself wanting this again, I'll try to come up with a PR.
@kba can you try assigning this issue to me? (Can't self assign, not sure if you can)
Having a dedicated CLI command for this opens up the opportunity to give it an optionally different behaviour: downloading without changing the refs! (So essentially, this could just do what mm-update download offers explicitly and ocrd.workspace.Workspace.download_file implicitly: storing a copy under a reproducible local file name, unless already present there.)
