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 Racket tutorial for hardcore software engineers, this
is one of the first things I'd have people do, in their tools setup, at
this time. Otherwise, it's too easy for uncontrolled and perhaps
ephemeral package version dependencies to casually sneak into a project,
and even for arbitrary untrusted code run on sensitive development
workstations/servers.)
One thing that seems like a tiny quirk... When I tried to set `catalogs`
to an empty string, 1 of the 3 catalogs that was listed before
disappeared, but the other 2 remained. The other 2 disappeared only
once I set to a non-empty string.
---- BEGIN ----
$ raco pkg config
[...]
catalogs:
https://download.racket-lang.org/releases/6.8/catalog/
https://pkgs.racket-lang.org
https://planet-compats.racket-lang.org
default-scope:
user
[...]
$ raco pkg config --set catalogs ""
$ raco pkg config
[...]
catalogs:
https://pkgs.racket-lang.org
https://planet-compats.racket-lang.org
default-scope:
user
[...]
$ raco pkg config --set catalogs "/home/user/nonexistent-racket-catalog"
$ raco pkg config
[...]
catalogs:
file:///home/user/nonexistent-racket-catalog
default-scope:
user
[...]
$ raco pkg install html-parsing
raco pkg install: cannot find package on catalogs
package: html-parsing
$ cd /foo/html-template
$ raco pkg install
Linking current directory as a package
The following uninstalled packages are listed as dependencies of
html-template:
html-writing
Would you like to install these dependencies? [Y/n/a/c/?] Y
raco pkg install: cannot find package on catalogs
package: html-writing
---- END----
--
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.
