[racket] removing a plugin from /collects

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.

Robby


On Mon, Sep 9, 2013 at 12:51 AM, Laurent <laurent.orseau at gmail.com> wrote:

> 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
>>
>>
>
> ____________________
>   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/0180b8ff/attachment.html>