Man page - dune-tools(1)

Packages contains this manual

Manual

DUNE-TOOLS

NAME
SYNOPSIS
COMMANDS
COMMON OPTIONS
EXIT STATUS
SEE ALSO

NAME

dune-tools - Command group for wrapped tools.

SYNOPSIS

dune tools COMMAND

COMMANDS

exec COMMAND

Command group for running wrapped tools.

COMMON OPTIONS

--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.

EXIT STATUS

dune tools exits with:

0

on success.

1

if an error happened.

130

if it was interrupted by a signal.

SEE ALSO

dune(1)