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 "". |
