<div dir="ltr"><div>If you installed it as a collection with `raco link`, then you can remove it with `raco link --remove`.<br>If you installed it as a package (containing a collection) with `raco pkg install --link` (or `raco pkg install` for that matter), you can remove it with `raco pkg remove`.<br> </div><div>(Nowadays the latter option is preferred I guess)<br></div><div><br></div><div>Normally this should remove your tool from DrRacket.<br></div><div><br></div>Laurent<br><div><br><br></div></div><div class="gmail_extra"> <br><br><div class="gmail_quote">On Mon, Sep 9, 2013 at 7:44 AM, Stephen De Gabrielle <span dir="ltr"><<a href="mailto:stephen.degabrielle@acm.org" target="_blank">stephen.degabrielle@acm.org</a>></span> wrote:<br> <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> <div dir="ltr"><div>Hi, </div><div><br></div><div>I'm teaching myself how to create DrRacket plugins.</div><div><br></div><div>I couldn't find a raco command to delete a plugin so deleted the collects/tool-name/compiled folder.</div> <div><br></div><div>Is DrRacket caching the tools somewhere?</div><div><br></div><div>I'm using v5.90.0.9</div><div><br></div><div>Cheers, </div><div><br></div><div>Stephen</div> <div><br></div><br clear="all"><div><div dir="ltr">--<br><a href="http://www.degabrielle.name/stephen" target="_blank">Stephen De Gabrielle</a><div><br></div></div></div> </div> <br>____________________<br> Racket Users list:<br> <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br> <br></blockquote></div><br></div>