[plt-scheme] uninstalling .plt packages in 299
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