[plt-dev] Re: [plt-scheme] End-user instructions for upgrading single PLaneT package

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Mon May 18 13:43:00 EDT 2009

All of the database functionality in the server is separated out, so
it shoudl not be too hard to add a web-based interface to it (see
db.ss in iplt/planet/).

Robby

On Mon, May 18, 2009 at 12:41 PM, Jon Rafkind <rafkind at cs.utah.edu> wrote:
> Matthias Felleisen wrote:
>>
>> On May 18, 2009, at 11:24 AM, Robby Findler wrote:
>>
>>> Just to be clear, I essentially agree with everything you've written.
>>> We do need something better and tool support for it. A GUI that helps
>>> the user's control the upgrades would be a great idea. (IF you were to
>>> write one I'd be happy to take it!)
>>
>>
>> I am still wondering whether drscheme could support a GUI that
>> shows what's available at Planet and even compares the versions
>> there and in your cache. Then a simple 'click' could warn you
>> of potential problems before you install the latest version.
>>
> I started a little gui for this last week. Here is a functional demo:
> http://planet.plt-scheme.org/display.ss?package=planet-manager.plt&owner=kazzmir
>
> Obviously needs a lot of work. One major problem is the planet database is
> not query-able. Right now I'm doing html screenscraping by reading
> http://planet.plt-scheme.org.
>


Posted on the dev mailing list.