[racket] removing a plugin from /collects

If you installed it as a collection with `raco link`, then you can remove
it with `raco link --remove`.
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`.
(Nowadays the latter option is preferred I guess)

Normally this should remove your tool from DrRacket.

Laurent




On Mon, Sep 9, 2013 at 7:44 AM, Stephen De Gabrielle <
stephen.degabrielle at acm.org> wrote:

> Hi,
>
> I'm teaching myself how to create DrRacket plugins.
>
> I couldn't find a raco command to delete a plugin so deleted the
> collects/tool-name/compiled folder.
>
> Is DrRacket caching the tools somewhere?
>
> I'm using v5.90.0.9
>
> Cheers,
>
> Stephen
>
>
> --
> Stephen De Gabrielle <http://www.degabrielle.name/stephen>
>
>
> ____________________
>   Racket Users list:
>   http://lists.racket-lang.org/users
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20130909/2f4b0d21/attachment.html>