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

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