dune-internal - Man Page

Synopsis

dune internal COMMAND

Commands

dump [OPTION]… FILE

Dump the contents of a file stored in Dune's persistent database.

latest-lang-version [OPTION]…

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

internal exits with the following status:

0

on success.

123

on indiscriminate errors reported on standard error.

124

on command line parsing errors.

125

on unexpected internal errors (bugs).

See Also

dune(1)

Info

Dune n/a Dune Manual