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.degabrie...@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
