[Dune-devel] Request about the /usr/bin/dune filename

Oliver Sander oliver.sander at tu-dresden.de
Tue Jan 22 12:45:42 CET 2019


> I tend to agree with Ansgar here.  Unless one of the other developers comes up
> with a good reason why we should reserve those names.

I don't see us needing those names in the nearer future.  As far as I am concerned
we can give them up.

> I do find it unfortunate however that this clash has to happen with a
> buildsystem -- after all, everything we provide under /usr/bin has to do with
> our buildsystem.  There is a good chance of confusion as to which buildsystem
> exactly /usr/bin/duneproject will create a skeleton project for. 

<humour> ... unless we rewrite our code to use ocaml and the dune build system</humour>

--
Oliver

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 488 bytes
Desc: OpenPGP digital signature
URL: <https://lists.dune-project.org/pipermail/dune-devel/attachments/20190122/579fa110/attachment.sig>


More information about the Dune-devel mailing list