Re: [racket-users] Re: Using Racket behind proxy

2018-12-12 Thread Matthew Butterick
> On Dec 10, 2018, at 11:21 AM, making-a-racket wrote: > > Does anyone know if Racket is hard-coded to use git://? The URL that Racket uses to install a package is whatever the developer has listed on the package server — some begin with git://, some with https://, some with http://. Moreo

[racket-users] Re: Using Racket behind proxy

2018-12-10 Thread Alex Harsanyi
I cannot help you directly, but I just wanted to say that at my workplace, we are also behind a proxy, and I did not have to reconfigure Racket in any way. I also have to put in the "insteadOf" rule for git clones, as only HTTPS traffic is allowed, but I believe the Racket package manager just

[racket-users] Re: Using Racket behind proxy

2018-12-10 Thread making-a-racket
Does anyone have any input on this? This is an important hurdle for my, hopefully eventual, use of Racket at work, and I imagine it is important to other industrial users as well. I have confirmed that it is indeed my work's proxy/firewall that is blocking Racket's package manager. For now, I h