<br><br><div class="gmail_quote">On Fri, Apr 20, 2012 at 14:19, Sam Tobin-Hochstadt <span dir="ltr"><<a href="mailto:samth@ccs.neu.edu">samth@ccs.neu.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="HOEnZb"><div class="h5">On Fri, Apr 20, 2012 at 2:16 AM, Laurent <<a href="mailto:laurent.orseau@gmail.com">laurent.orseau@gmail.com</a>> wrote:<br> ><br> > After developing a tool using a development link, I want to test the file<br> > injection of the package, so I removed the link.<br> > The problem is that the tool still loads on DrRacket startup, even though<br> > the development link does not appear in `raco planet show`.<br> > Is this a bug or am I misunderstanding something?<br> <br> </div></div>That sounds like a bug. One way to get around it for the moment is to<br> disable the tool in DrRacket. Go to the Preferences dialog, choose<br> the Tools tab, and select the appropriate tool. Then choose "Skip the<br> tool", and the next time you start DrRacket, it won't load the tool.<br></blockquote><div><br>Thanks.<br>I could finally solve my problem by editing the cache.rktd file in my home dir (in ~/.racket/planet/300/<racket-version>) and then `sudo raco setup`.<br> <br>Laurent<br></div></div>