local_exec procedure

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.