runCommand -package:options -package:shake -package:wai-app-static -package:xmonad-contrib -package:mongoDB -package:quickcheck-state-machine -is:exact
Runs a command using the shell.
Run an external command on the specified DotRepr
. Remember to
on the Handle
for the output
function if necessary.
If the command was unsuccessful, then a GraphvizException
For performance reasons, a temporary file is used to store the
generated Dot code. As such, this is only suitable for local commands.
Run a command within the PlotM monad. Stderr stream is read
and decoded, while Stdout is ignored. Logging happens at the debug
level if the command succeeds, or at the error level if it does not
Called before a command is about to run. The first argument is the
step index and the second is a string representing the command about
to be run.
Default to True
. Should you run command line actions, set to
to skip actions whose output streams and exit code are
not used. Useful for profiling the non-command portion of the build