We should add a dune show command that will collect together many subcommands whose jobs it is to show some information about the workspace. This should make these commands easier to use and clear up the toplevel cli.
Maybe the best way to go about this is to extend dune describe and rename it to dune show. Keeping it around as a command alias seems sensible. dune describe also needs to be converted to command groups.
We should add a
dune showcommand that will collect together many subcommands whose jobs it is to show some information about the workspace. This should make these commands easier to use and clear up the toplevel cli.dune show targetsfeature: dune show targets and dune show aliases #7770dune show aliasesfeature: dune show targets and dune show aliases #7770dune show rules(should take overdune rules) show: print_rules now part of show command #8000dune show env(should take overdune printenv) feature: add dune show env and make dune printenv an alias of it #7985dune describe, create dune show command group #7946dune show opam-filesdune show ppdune show external-lib-depsdune show workspacedune show installed-librariesshow: add Installed_libraries to show #8135dune show targets (--all)feature: --all option for dune show targets #8167Maybe the best way to go about this is to extend
dune describeand rename it todune show. Keeping it around as a command alias seems sensible.dune describealso needs to be converted to command groups.