<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">Dear Andreas, Oliver,<div class=""><br class=""></div><div class="">Thanks very much for this; we really appreciate it from OCaml. Let us know if there’s anything we can do from our end to ensure there is no confusion about our use of /usr/bin/dune and your /usr/bin/duneproject invocations for your build system.</div><div class=""><br class=""></div><div class="">best,</div><div class="">Anil<br class=""><div><br class=""><blockquote type="cite" class=""><div class="">On 22 Jan 2019, at 12:02, Dedner, Andreas <<a href="mailto:A.S.Dedner@warwick.ac.uk" class="">A.S.Dedner@warwick.ac.uk</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div id="divtagdefaultwrapper" dir="ltr" style="caret-color: rgb(0, 0, 0); font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; font-size: 12pt; font-family: Calibri, Helvetica, sans-serif;" class=""><div style="margin-top: 0px; margin-bottom: 0px;" class="">I'm fine with this as well</div><div style="margin-top: 0px; margin-bottom: 0px;" class="">Andreas<br class=""></div></div><hr tabindex="-1" style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; display: inline-block; width: 348.875px;" class=""><span style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;" class=""></span><div id="divRplyFwdMsg" dir="ltr" style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><font face="Calibri, sans-serif" style="font-size: 11pt;" class=""><b class="">From:</b><span class="Apple-converted-space"> </span>Dune-devel <<a href="mailto:dune-devel-bounces@lists.dune-project.org" class="">dune-devel-bounces@lists.dune-project.org</a>> on behalf of Oliver Sander <<a href="mailto:oliver.sander@tu-dresden.de" class="">oliver.sander@tu-dresden.de</a>><br class=""><b class="">Sent:</b><span class="Apple-converted-space"> </span>22 January 2019 11:45:42<br class=""><b class="">To:</b><span class="Apple-converted-space"> </span><a href="mailto:dune-devel@lists.dune-project.org" class="">dune-devel@lists.dune-project.org</a>; <a href="mailto:anil@recoil.org" class="">anil@recoil.org</a>; <a href="mailto:jeremie@dimino.org" class="">jeremie@dimino.org</a><br class=""><b class="">Subject:</b><span class="Apple-converted-space"> </span>Re: [Dune-devel] Request about the /usr/bin/dune filename</font><div class=""> </div></div><div class="BodyFragment" style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;"><font size="2" class=""><span style="font-size: 11pt;" class=""><div class="PlainText">> I tend to agree with Ansgar here. Unless one of the other developers comes up<br class="">> with a good reason why we should reserve those names.<br class=""><br class="">I don't see us needing those names in the nearer future. As far as I am concerned<br class="">we can give them up.<br class=""><br class="">> I do find it unfortunate however that this clash has to happen with a<br class="">> buildsystem -- after all, everything we provide under /usr/bin has to do with<br class="">> our buildsystem. There is a good chance of confusion as to which buildsystem<br class="">> exactly /usr/bin/duneproject will create a skeleton project for.<span class="Apple-converted-space"> </span><br class=""><br class=""><humour> ... unless we rewrite our code to use ocaml and the dune build system</humour><br class=""><br class="">--<br class="">Oliver</div></span></font></div></div></blockquote></div><br class=""></div></body></html>