[plt-scheme] How to download/install a Planet file

From: Todd O'Bryan (toddobryan at gmail.com)
Date: Mon Aug 17 13:55:52 EDT 2009


Stephen, will the student have to do anything special to get the
teachpack to show up in the list?


On Mon, Aug 17, 2009 at 1:39 PM, Noel Welsh<noelwelsh at gmail.com> wrote:
> Use the planet command line tool:
>  planet fetch <owner> <pkg> <maj> <min>
> http://docs.plt-scheme.org/planet/cmdline.html#%28part._fetch%29
> N.
> (Also: no Internet o_O)
> On Mon, Aug 17, 2009 at 5:48 PM, Todd O'Bryan<toddobryan at gmail.com> wrote:
>> I have a student who doesn't have internet and I'm trying to give her
>> a CD with DrScheme and Stephen Bloch's tiles and sb-world teachpacks.
>> I know there's an "Install PLT File..." menu item, but how do I
>> download tiles.plt from Planet to put it on the CD?
>> Thanks,
>> Todd

Posted on the users mailing list.