bashlib input-files: apply download_file on each input_file

src/ocrd/cli/bashlib.py

@@ -114,6 +114,10 @@ def bashlib_input_files(**kwargs):
                           input_file_grp=kwargs['input_file_grp'],
                           output_file_grp=kwargs['output_file_grp'])
     for input_files in processor.zip_input_files(mimetype=None, on_error='abort'):
+        # ensure all input files exist locally (without persisting them in the METS)
+        # - this mimics the default behaviour of all Pythonic processors
+        input_files = [workspace.download_file(input_file)
+                       for input_file in input_files]
         for field in ['url', 'local_filename', 'ID', 'mimetype', 'pageId']:
             # make this bash-friendly (show initialization for associative array)
             if len(input_files) > 1: