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

Robby Findler wrote:
> 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/).
>
>   
That looks like a database for a local cache of planet, but I was 
talking about getting a list of all planet packages from the PLT planet 
server.
> 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.
>>
>>