<div dir="ltr">You can also remove the 'define drracket-tools' line from the info.rkt file or disable the tool via the 'tools' section of the preference dialog.<br><div><br></div><div>Robby</div></div><div class="gmail_extra">
<br><br><div class="gmail_quote">On Mon, Sep 9, 2013 at 12:51 AM, Laurent <span dir="ltr"><<a href="mailto:laurent.orseau@gmail.com" target="_blank">laurent.orseau@gmail.com</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>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"><div><div class="h5">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>
</div></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div class="h5">
<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></div></div>____________________<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>
<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>