dune-tools - Command group for wrapped tools.
dune tools COMMAND â¦
exec COMMAND â¦
Command group for running wrapped tools.
install COMMAND â¦
Command group for installing wrapped tools.
which COMMAND â¦
Command group for printing the path to wrapped tools.
--help[=FMT] (default=auto)
Show this help in format FMT. The value FMT must be one of auto, pager, groff or plain. With auto, the format is pager or plain whenever the TERM env var is dumb or undefined.
--version
Show version information.
dune tools exits with:
|
0 |
on success. |
|||
|
1 |
if an error happened. |
|||
|
130 |
if it was interrupted by a signal. |
dune(1)