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

From: Noel Welsh (noelwelsh at gmail.com)
Date: Mon Aug 17 13:39:08 EDT 2009

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.