run-batch executes a currently active batch. It would be useful to be able to execute a batch stored in a file w/o previously starting a batch and loading the file with the batch command. I.e. run-batch --file=script.txt should be enough.