[plt-scheme] download links for planet packages

On Jul 16, 2006, at 3:58 PM, Jon Rafkind wrote:

> Bruno Deferrari wrote:
>> Sometimes you don't have internet access from where you use mzscheme,
>> and you have to download the packages from another place, and having
>> to install drscheme to being able to do download them isn't very  
>> nice.
> Yes, that and in my particular case I was using mzscheme at work  
> and use
> a proxy to get to the internet. I dont know how to tell planet to use
> this proxy when accessing url's so it always fails to get to the
> internet. It would be nice to download the .plt file and install it
> using the planet command line tool.

It sounds like the root of your problem is that PLaneT isn't  
respecting proxy settings, and that certainly ought to be fixed.  
Unfortunately that fix requires a somewhat invasive change to the  
framework, so it won't get fixed before v351 comes out. As a stopgap,  
I've added a "planet --url" option to the planet command-line tool  
(in SVN now) that will tell you the URL for any particular package  
you want to get. (I'd rather not add the url to the web page because  
it'll clutter the interface and I'm worried it might be confusing to  
new users who don't know how PLaneT works and think they need to  
separately download and install before using packages.)

-jacob