Use tshell to run a sub-program in the background; don't wait for it
to finish and don't get any output from it. (never forks ACL2).
(tshell-run-background cmd) → nil
- cmd — The command to give to the shell. It had better be
well-formed. It can probably use input/output redirection
without problems. We're basically going to run: (cmd) &.
Guard (stringp cmd).
Definitions and Theorems
(defun tshell-run-background (cmd)
(declare (xargs :guard (stringp cmd)))
(let ((__function__ 'tshell-run-background))
(declare (ignorable __function__))
(cw "Warning: under-the-hood definition of ~s0 not installed?"