[plt-scheme] uninstalling .plt packages in 299

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Thu Feb 3 12:16:53 EST 2005

At Thu, 03 Feb 2005 10:55:28 -0600, Jacob Matthews wrote:
> Matthew Flatt wrote:
> >Ok, I see a bug. If no collections (other than "info-domain") are left
> >in a collection root, then the info-domain cache is not updated.
> >
> >Is that what you're seeing?
> >  
> >
> Is the intended behavior that info-domain files should always be rebuilt 
> every time the user runs setup-plt?

Yes, with two constraints:

 - If a specific collection is specified (-l), then only information
   for that collection is updated.

 - Don't write to the file if its information is already up-to-date.


Posted on the users mailing list.