Handle filenames with spaces and batch files in check-file-format check - #24

Open

dave4420 wants to merge 7 commits into

NHSDigital:mainfrom

Commits on Sep 8, 2025

reinvoke script to run tool
dave4420
committed
c8c9618
factor out call to tool
dave4420
committed
c1a3751
provide list of files directly to main-tool-wrapper--*, instead of command to provide list
dave4420
committed
77c82e0
split files into batches
dave4420
committed
84cfdc1
use --no-run-if-empty to avoid empty batches
dave4420
committed
18e19ba
terminate filenames with NUL, not LF
dave4420
committed
1c9b277
rename functions
dave4420
committed
c2c7434