Re: [racket] Using Racket 6.0 through a Web proxy

2014-04-02 Thread Konrad Hinsen
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

Re: [racket] Using Racket 6.0 through a Web proxy

2014-04-02 Thread Jay McCarthy
Hi Konrad, 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"

[racket] Using Racket 6.0 through a Web proxy

2014-03-31 Thread Konrad Hinsen
Hi everyone, I just installed Racket 6.0 on a new machine (MacOS 10.9), without any problems. However, I didn't yet succeed in installing any packages from the package catalog. I suspect that this is due to the Web proxy that I have to use in my office. My first attempt was to use raco: raco