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

Excellent!

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

Todd

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
>