[racket] removing a plugin from /collects

From: Laurent (laurent.orseau at gmail.com)
Date: Mon Sep 9 01:51:46 EDT 2013

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.


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>

Posted on the users mailing list.