runCommand -package:wai-app-static -package:io-streams -package:github-release -package:pandoc-plot is:exact -package:cabal-install -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.
, and attempt to parse it into a valid value of
type plus a list of left-over arguments. The options
and arguments are then passed to the provided computation.
If parsing fails, this computation will print an error and call
If parsing succeeds, and the user has passed a --help
and the developer is using the default help flag definitions, then
this computation will print documentation and call exitSuccess
for details on subcommand support.
Given a list of command/action pairs, prompt the user to choose a
command using dmenu and return the corresponding action.