On Fri, Apr 20, 2012 at 14:19, Sam Tobin-Hochstadt <sa...@ccs.neu.edu>wrote:
> On Fri, Apr 20, 2012 at 2:16 AM, Laurent <laurent.ors...@gmail.com> wrote: > > > > After developing a tool using a development link, I want to test the file > > injection of the package, so I removed the link. > > The problem is that the tool still loads on DrRacket startup, even though > > the development link does not appear in `raco planet show`. > > Is this a bug or am I misunderstanding something? > > That sounds like a bug. One way to get around it for the moment is to > disable the tool in DrRacket. Go to the Preferences dialog, choose > the Tools tab, and select the appropriate tool. Then choose "Skip the > tool", and the next time you start DrRacket, it won't load the tool. > Thanks. I could finally solve my problem by editing the cache.rktd file in my home dir (in ~/.racket/planet/300/<racket-version>) and then `sudo raco setup`. Laurent
____________________ Racket Users list: http://lists.racket-lang.org/users
