Usage of 'src batch exec':
  -binaryDiffs
    	Whether to encode diffs as base64.
  -f string
    	The workspace execution input file to read.
  -repo string
    	Path of the checked out repo on disk.
  -run-as-image-user
    	True to run step containers as the default image user; if false or omitted, containers are always run as root.
  -timeout duration
    	The maximum duration a single batch spec step can take. (default 1h0m0s)
  -tmp string
    	Directory for storing temporary data.
  -workspaceFiles string
    	Path of workspace files on disk.
INTERNAL USE ONLY: 'src batch exec' executes the given raw batch spec in the given workspaces.
The input file contains a JSON dump of the WorkspacesExecutionInput struct in
github.com/sourcegraph/sourcegraph/lib/batches.
Usage:
    src batch exec -f FILE -repo DIR -workspaceFiles DIR [command options]
Examples:
    $ src batch exec -f batch-spec-with-workspaces.json