[plt-scheme] download links for planet packages

From: Jon Rafkind (workmin at ccs.neu.edu)
Date: Tue Jul 18 21:42:10 EDT 2006


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.)
>
Does the SVN repository not get put into the nightly build? I see the
last date on the nightly build directories is the 14th..

Its easier for me to get the nightly build source than to checkout the
svn repository at work.


Posted on the users mailing list.