runCommand -package:options -package:shake -package:wai-app-static -package:io-streams is:exact -package:mongoDB
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.
Given a list of command/action pairs, prompt the user to choose a
command using dmenu and return the corresponding action.
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