runCommand -package:options -package:shake -package:wai-app-static -package:xmonad-contrib -package:mongoDB -package:quickcheck-state-machine -package:shake-plus
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.