On Thursday, October 13, 2016 at 12:01:44 AM UTC+8, Matthew Flatt wrote: > > In this case, things will work better if you use > > $ bin/raco pkg update --catalog https://pkgs.racket-lang.org htdp
I tried to run this command (as I also would like to work on some built in packages), and after it run successfully, my racket installation seems broken. Running raco without any arguments gives out warnings: warning: tool "contract-profile" registered twice: "contract-profile" and #<path:C:\Program Files\Racket\share\pkgs\contract-profile> warning: tool "dependencies-graph" registered twice: "dependencies-graph" and #<path:C:\Program Files\Racket\share\pkgs\drracket-tool-lib\drracket> warning: tool "docs" registered twice: "docs" and #<path:C:\Program Files\Racket\share\pkgs\racket-doc\help> warning: tool "check-requires" registered twice: "check-requires" and #<path:C:\Program Files\Racket\share\pkgs\macro-debugger-text-lib\macro-debugger> warning: tool "show-dependencies" registered twice: "show-dependencies" and #<path:C:\Program Files\Racket\share\pkgs\macro-debugger-text-lib\macro-debugger> warning: tool "macro-profiler" registered twice: "macro-profiler" and #<path:C:\Program Files\Racket\share\pkgs\macro-debugger-text-lib\macro-debugger> warning: tool "planet" registered twice: "planet" and #<path:C:\Program Files\Racket\share\pkgs\planet-lib\planet> warning: tool "profile" registered twice: "profile" and #<path:C:\Program Files\Racket\share\pkgs\profile-lib> warning: tool "scribble" registered twice: "scribble" and #<path:C:\Program Files\Racket\share\pkgs\scribble-lib\scribble> and trying to run DrRacket also fails with errors about duplicate languages. I'm using Racket 6.6 (released version), no extra packages installed on a Windows 7 64 bit OS. What am I doing wrong? Thanks, Alex. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
