
<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">

<style type="text/css" style="display:none;"><!-- P {margin-top:0;margin-bottom:0;} --></style>

</head>

<body dir="ltr">

<div id="divtagdefaultwrapper" style="font-size:12pt;color:#000000;font-family:Calibri,Helvetica,sans-serif;" dir="ltr">

<p style="margin-top:0;margin-bottom:0">I'm fine with this as well</p>

<p style="margin-top:0;margin-bottom:0">Andreas<br>

</p>

</div>

<hr style="display:inline-block;width:98%" tabindex="-1">

<div id="divRplyFwdMsg" dir="ltr"><font face="Calibri, sans-serif" style="font-size:11pt" color="#000000"><b>From:</b> Dune-devel <dune-devel-bounces@lists.dune-project.org> on behalf of Oliver Sander <oliver.sander@tu-dresden.de><br>

<b>Sent:</b> 22 January 2019 11:45:42<br>

<b>To:</b> dune-devel@lists.dune-project.org; anil@recoil.org; jeremie@dimino.org<br>

<b>Subject:</b> Re: [Dune-devel] Request about the /usr/bin/dune filename</font>

<div> </div>

</div>

<div class="BodyFragment"><font size="2"><span style="font-size:11pt;">

<div class="PlainText">> I tend to agree with Ansgar here.  Unless one of the other developers comes up<br>

> with a good reason why we should reserve those names.<br>

<br>

I don't see us needing those names in the nearer future.  As far as I am concerned<br>

we can give them up.<br>

<br>

> I do find it unfortunate however that this clash has to happen with a<br>

> buildsystem -- after all, everything we provide under /usr/bin has to do with<br>

> our buildsystem.  There is a good chance of confusion as to which buildsystem<br>

> exactly /usr/bin/duneproject will create a skeleton project for. <br>

<br>

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

<br>

--<br>

Oliver<br>

<br>

</div>

</span></font></div>

</body>

</html>