Batch file

Text file with .batch extension. It contains a list of .prm or .bin files.
The example batch file (myparam123.batch) will process three parameter files by running

jrc batch myparam123.batch

Content of myparam123.batch:

myparam1.prm
myparam2.prm
myparam3.prm

Alternatively, a user can supply a list of .bin files in the batch file using a parameter file "myparam.prm" by running

jrc batch mybin123.batch myparam.prm

Content of mybin123.batch:

mybin1.bin
mybin2.bin
mybin3.bin

see batch command