[plt-scheme] Download links in PLaneT

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
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>



-- 
Jay McCarthy <jay at cs.byu.edu>
Assistant Professor / Brigham Young University
http://teammccarthy.org/jay

"The glory of God is Intelligence" - D&C 93