<div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote">On Sun, Oct 13, 2013 at 9:00 AM, Matthew Flatt <span dir="ltr"><<a href="mailto:mflatt@cs.utah.edu" target="_blank">mflatt@cs.utah.edu</a>></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 Sat, 12 Oct 2013 18:01:27 -0600, Jay McCarthy wrote:<br>
> On Sat, Oct 12, 2013 at 3:02 PM, John Clements<br>
> <<a href="mailto:clements@brinckerhoff.org">clements@brinckerhoff.org</a>> wrote:<br>
> > My students are using 5.3.6 with packages... in particular, with the rsound<br>
> > package, that depends on the portaudio package. They've had a wide variety<br>
> > of problems; I'm hoping that these are fixed in 5.90, but short of telling<br>
> > my whole class to install a pre-release version, I'm not sure how to test<br>
> > that, so I'm just going to list them, and maybe y'all can tell me they've<br>
> > been fixed.<br>
> ><br>
> > 1) The most pervasive problem is one of permissions on Windows, where an<br>
> > update gets jammed because DrR can't delete the existing directory. This<br>
> > seems to happen pretty much every time a windows user updates. Nearly all of<br>
> > my students now know how to navigate to AppData/Roaming/Racket to delete<br>
> > these directories.<br>
><br>
> I don't know what this means.<br>
<br>
</div>I imagine that we need to make `raco pkg` attempt to rename a directory<br>
to something like "trash" when the directory can't be deleted (and<br>
purge any found "trash" directories that can be deleted).<br>
<div class="im"><br></div></blockquote><div><br></div><div>That sounds like a great approach.</div><div><br></div><div>Robby</div><div><div class="HOEnZb"><div class="h5"><br></div></div></div></div></div></div>