## the file to be written to. If not contained in any argument, the
## standard output of the command is read instead.
## Type: ShellCommand
## the file to be written to. If not contained in any argument, the
## standard output of the command is read instead.
## Type: ShellCommand