<div dir="ltr">Thank you for jumping your very full queue and addressing this one.<br></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, May 30, 2013 at 7:51 AM, Matthew Flatt <span dir="ltr">&lt;<a href="mailto:mflatt@cs.utah.edu" target="_blank">mflatt@cs.utah.edu</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">At Wed, 29 May 2013 21:45:23 -0500, Robby Findler wrote:<br>
&gt; re: current-directory-for-user: I also don&#39;t see a better way. Probably the<br>
&gt; docs should say &quot;don&#39;t set this path&quot;, roughly (with some caveats that<br>
&gt; would include things like drracket)<br>
<br>
</div>Do the current docs say that well enough, or should we revise?:<br>
<br>
 Normally, current-directory-for-user should stay at its initial value,<br>
 reflecting the directory where a user started a process. A tool such<br>
 as DrRacket, however, implicitly lets a user select a directory (for<br>
 the file being edited), in which case updating<br>
 current-directory-for-user makes sense.<br>
<div class="HOEnZb"><div class="h5"><br>
____________________<br>
  Racket Users list:<br>
  <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
</div></div></blockquote></div><br></div>