<div dir="ltr"><div class="gmail_extra"> <div class="gmail_quote"><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">
&gt; If info.rkt does not exist, it creates it and gives the &#39;collection-name<br>
&gt; the name of the package by default.<br>
<br>
</div>That doesn&#39;t seem like a good idea to me. As you&#39;ve noted, there can be<br>
problems with writing extra files. The collection name could be instead<br>
computed in `pkg-single-collection&#39;, which would treat the absence of<br>
an &quot;info.rkt&quot; to mean single-collection mode, right?<br>
<br>
<br>
Some calls to `pkg-single-collection&#39; would need to change to pass in<br>
a package name to use instead of the `dir&#39; name, since the `dir&#39;<br>
argument is sometimes a temporary directory that is used to stage a<br>
package. That&#39;s an easy change.<br></blockquote><div><br></div><div>If the original package/directory name can be retrieved at any time, then <br>yes, it&#39;s a much better idea (actually I had started this way, but didn&#39;t<br>

know how to retrieve the name at any time).<br><br></div><div>Laurent <br></div></div><br></div></div>