[plt-scheme] uninstalling .plt packages in 299

From: Robby Findler (robby at cs.uchicago.edu)
Date: Thu Feb 3 11:41:12 EST 2005

At Thu, 03 Feb 2005 11:38:37 -0500, Dave Herman wrote:
>   For list-related administrative tasks:
>   http://list.cs.brown.edu/mailman/listinfo/plt-scheme
> 
> > Yes. Simply running Setup PLT after you delete the collection should
> > work fine.
> > 
> > In other words, "info-domain" is not a registry in the Windows sense.
> > It's more like the old Mac OS desktop cache; it needs to be up-to-date
> > for things to work, but you can rebuild it at any time by running Setup
> > PLT.
> 
> Just to be clear, you can rebuild it by first deleting the cache and 
> *then* running Setup PLT, or will Setup PLT automatically overwrite it?

No need to delete.

setup-plt always re-builds the cache, for the collections it is running
on. That is, if you pass no arguments to setup-plt, the whole cache is
re-built. If you pass "-l ..." only some part of the cache is re-built.

Robby



Posted on the users mailing list.