[plt-scheme] download links for planet packages

Jacob Matthews wrote:
> 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.)
>
Ok thats reasonable enough. I was figuring out the url manually which
was sort of annoying.