Jay McCarthy writes: > The package system currently doesn't use proxies at all. Howver, you > should be able to go to > > https://github.com/jbclements/sxml/tarball/648a97f4881a8ea2f0959cf26e80bfdfec93d181 > > in a web browser and download the archive manually then install it > "raco pkg install -n sxml the-file.tgz"
Done. That's a good enough workaround for my immediate needs, thanks! > I'll work on implementing proxy support in the future. Great. The manual technique certainly breaks down when packages trigger the download of lots of dependencies. Proxy support would be great. The only even better solution would be a magic incantation that makes all Web proxies in the world disappear ;-) Konrad ____________________ Racket Users list: http://lists.racket-lang.org/users
