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

Dedner, Andreas A.S.Dedner at warwick.ac.uk
Tue Jan 22 13:02:57 CET 2019


I'm fine with this as well

Andreas

________________________________
From: Dune-devel <dune-devel-bounces at lists.dune-project.org> on behalf of Oliver Sander <oliver.sander at tu-dresden.de>
Sent: 22 January 2019 11:45:42
To: dune-devel at lists.dune-project.org; anil at recoil.org; jeremie at dimino.org
Subject: Re: [Dune-devel] Request about the /usr/bin/dune filename

> 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 --------------
An HTML attachment was scrubbed...
URL: <https://lists.dune-project.org/pipermail/dune-devel/attachments/20190122/50c0a61f/attachment.html>


More information about the Dune-devel mailing list