15.5.26 batch

batch [, /quit]

Enter or quit batch mode. In batch mode, all input is read from the current input stream (which may be either a file – when executing a @file command – or the keyboard). In direct (= non-batch) mode, commands are read from the current input stream, but requested data is always read from the keyboard. If keyword /quit is specified, then direct mode is selected. Otherwise, batch mode is entered.

See also: Running