Re: [racket-users] changing which package catalogs are used by default

2017-01-28 Thread Neil Van Dyke
Matthew Flatt wrote on 01/28/2017 08:45 PM: You can use `raco pkg config` to set `catalogs`. There's also a "Settings" panel in DrRacket's "Package Manager..." dialog. OK, thanks. Setting `raco pkg config --set catalogs` to a non-empty value seems to work for disabling. (Were I writing a Ra

Re: [racket-users] changing which package catalogs are used by default

2017-01-28 Thread Matthew Flatt
You can use `raco pkg config` to set `catalogs`. There's also a "Settings" panel in DrRacket's "Package Manager..." dialog. At Sat, 28 Jan 2017 19:45:09 -0500, Neil Van Dyke wrote: > How does a Racket user prevent Racket tools they run from accessing the > default package server catalogs, by defa