ExecParams

Parameter type for process execution.

Record Fields

Record FieldDescription
Args
Signature: (string * string) list

Command-line argument pairs. The value will be quoted if it contains a string, and the result will be appended to the CommandLine property. If the key ends in a letter or number, a space will be inserted between the key and the value.

CommandLine
Signature: string

Command-line parameters in a string.

Program
Signature: string

The path to the executable, without arguments.

WorkingDir
Signature: string

The working directory for the program. Defaults to "".

Static members

Static memberDescription
ExecParams.Empty
Signature: ExecParams

Default parameters for process execution.