#### local_exec Procedure ¶

Run the specified command on the local machine, redirecting input from file `inp` (if non-empty), redirecting output to file `outp` (if non-empty), and waiting `timeout` seconds for the command to complete before killing it. A two-element list is returned: the exit status of the command and any output produced by the command. If output is redirected, this may or may not be empty. If output is redirected, both stdout and stderr will appear in the specified file.

> `local_exec commandline inp outp timeout`

`inp`

  Redirect input into the input filename if not set to `""`.

`outp`

  Redirect output into the output filename if not set to `""`.

`timeout`

  Timeout in seconds.