ExecParams
Parameter type for process execution.
Record Fields
Record Field | Description |
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.
|
WorkingDirectory
Signature: string
|
The working directory for the program. Defaults to "".
|