dune icon indicating copy to clipboard operation
dune copied to clipboard

"dune describe": allow to describe specific libraries and directories

Open nojb opened this issue 5 years ago • 4 comments

It would be nice to be able to restrict the output of dune describe to specific libraries (in this case it would print information about a library and all of its dependencies) and/or directories (in which case it would print information about all the libraries in that directory and their dependencies).

And, as in #3892, this should also ideally be extended to support executables as well.

nojb avatar Oct 25 '20 16:10 nojb

Should be quite easy to add now. The directory argument is most natural and fits with the rest of dune.

cc @esope

rgrinberg avatar May 23 '22 02:05 rgrinberg

I'm not sure about which interface should be given to the user, if we want to support directory filtering, library filtering and executables filtering, as the command could be ambiguous. For example, a user could write dune describe foo : should it refer to the directory foo ? to the library/executable foo (which can be located in a directory that is not named foo) ? Should we make this explicit, like: dune describe lib:foo dir:bar exe:baz ?

esope avatar Jul 19 '22 08:07 esope

I would say that describe foo should refer to directory foo. This is the convention we have with every other command.

rgrinberg avatar Jul 28 '22 21:07 rgrinberg

Implemented in PR #6107.

esope avatar Aug 26 '22 18:08 esope