[racket-dev] PLaneT and proxies

Robby, hello.

Back around 2010 June 20, there was a discussion about PLaneT and proxies.  It ended with:

On 2010 Jun 21, at 09:43, Norman Gray wrote:

>> Oh-- Eli pointed out something offlist: did you try starting up
>> drracket, setting its proxy preferences and then trying to install
>> something from planet?
> 
> I didn't try that -- it didn't occur to me, I'm afraid.  I imagine that would work fine (if I need to do this again, and it doesn't work, I'll shout).

I just have now needed to do this again, and it it works fine, once DrRacket has its proxy settings correct.

Best wishes,

Norman


-- 
Norman Gray  :  http://nxg.me.uk