[plt-scheme] Download links in PLaneT

From: Carl Eastlund (carl.eastlund at gmail.com)
Date: Tue Oct 13 12:15:08 EDT 2009

It should be for setting up a student lab, if not for the phone situation.

Carl Eastlund

On Tue, Oct 13, 2009 at 12:13 PM, Jay McCarthy <jay.mccarthy at gmail.com> wrote:
> I don't that is useful either, because the phone doesn't have that tool.
> Jay
> On Tue, Oct 13, 2009 at 10:09 AM, Carl Eastlund <carl.eastlund at gmail.com> wrote:
>> 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

Posted on the users mailing list.