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 _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
