dune-promote(1) on Linux
The text 08df7e93095e, as Debian 12 (Bookworm) shipped it.
Promote files from the last run
Flags it lists
-
--always-show-command-line -
--auto-promote -
--build-info -
--config-file -
--debug-artifact-substitution -
--debug-backtraces -
--debug-dependency-path -
--debug-findlib -
--diff-command -
--display -
--force -
--ignore-promoted-rules -
--no-buffer -
--no-config -
--no-print-directory -
--only-packages -
--release -
--root -
--terminal-persistence -
--trace-file -
--verbose -
--version -
--watch -
-f -
-j -
-w -
-x