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

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Mon Aug 17 14:43:03 EDT 2009

I think Stephen's teachpacks do that special stuff when the install.

To put it another way: downloading the .plt file (as below) and then
using drscheme's menu itme is equivalent to installing the file
directly via the planet command-line tool.

Robby

On Mon, Aug 17, 2009 at 12:55 PM, Todd O'Bryan<toddobryan at gmail.com> wrote:
> 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
>>
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>


Posted on the users mailing list.