> 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
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
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
3 matches
Mail list logo