[plt-scheme] Download links in PLaneT

There is a 'planet' command-line tool that does these things.  It
sounds like you would be most interested in 'planet fetch' (which
downloads without installing) and 'planet fileinject' (which installs
from a local file).  Run 'planet' with no options to get a list of
commands, and 'planet <command> --help' for information on <command>.

Carl Eastlund

On Tue, Oct 13, 2009 at 12:02 PM, Stephen Bloch <sbloch at adelphi.edu> wrote:
> Is there any way to download a specified .plt file from the PLaneT server
> other than by running DrScheme with a "(require planet ...)"?  This past
> weekend I was out of town on vacation, and I could get a Net connection
> through my phone (which doesn't have DrScheme installed), but not through my
> laptop (which does).  I was also able to communicate (with some difficulty)
> between the phone and the laptop, so I could have ftp'ed a .plt file from
> phone to laptop, but I couldn't figure out how to download the .plt file to
> the phone.
>
> Likewise, it would be nice in setting up a student lab if I could download
> the .plt file once and use the local copy for each of the computers in the
> lab, rather than having each computer download separately from the PLaneT
> server.
>
>
>
> Stephen Bloch
> sbloch at adelphi.edu