<div dir="ltr">Why do you think it should include so much stuff? I would have said it should include only the directories where we know that collections live.<div><div><br></div><div>Robby</div></div></div><div class="gmail_extra">
<br><br><div class="gmail_quote">On Sun, Feb 3, 2013 at 8:11 PM, Danny Yoo <span dir="ltr">&lt;<a href="mailto:dyoo@hashcollision.org" target="_blank">dyoo@hashcollision.org</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="im">On Sun, Feb 3, 2013 at 5:26 PM, Robby Findler<br>
&lt;<a href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</a>&gt; wrote:<br>
&gt; 6.2 in the planet2 docs suggest something more complicated. Probably we want<br>
&gt; to follow that?<br>
&gt;<br>
&gt; But this idea seems to fit better to me!<br>
<br>
</div>I think it should include, at the very least, (find-lib-dir),<br>
(find-user-lib-dir), (find-collects-dir), and (find-system-path<br>
&#39;addon-dir).  Am I missing any other obvious system path?<br>
<br>
Otherwise, do these changes look ok to merge upstream?<br>
</blockquote></div><br></div>