Re: [racket-dev] package scopes

2013-07-26 Thread Matthew Flatt
At Thu, 25 Jul 2013 11:59:04 -0600, Matthew Flatt wrote: > I think we should change to two: > > * 'installation --- like now > > * 'user --- specific to a user and "installation", but where > installations are identified by a configurable name (as opposed to, > say, the installation's p

Re: [racket-dev] package scopes

2013-07-25 Thread Matthew Flatt
Yes, because the user-specific place is always in PLTADDONDIR. At Thu, 25 Jul 2013 14:20:36 -0400, Carl Eastlund wrote: > I currently use PLTADDONDIR to make each repo's packages install to a > different place, within the repo tree, so that they're both separate, and > get cleaned up if and when I

Re: [racket-dev] package scopes

2013-07-25 Thread Carl Eastlund
I currently use PLTADDONDIR to make each repo's packages install to a different place, within the repo tree, so that they're both separate, and get cleaned up if and when I remove the repo. Will that still work with these changes? Carl Eastlund On Thu, Jul 25, 2013 at 1:59 PM, Matthew Flatt wr

Re: [racket-dev] package scopes

2013-07-25 Thread Jay McCarthy
I'm fine with it. Jay On Thu, Jul 25, 2013 at 11:59 AM, Matthew Flatt wrote: > We currently have three packages scopes: > > * 'installation --- specific to an installation of Racket, where > package files are written into the installation (for all users of > the installation) > > * 'us

[racket-dev] package scopes

2013-07-25 Thread Matthew Flatt
We currently have three packages scopes: * 'installation --- specific to an installation of Racket, where package files are written into the installation (for all users of the installation) * 'user --- specific to a user and version, where packages files are written to a user-specif