On Sun, Apr 06, 2003 at 11:51:55AM +0100, Philip Martin wrote:
> mark benedetto king <email@example.com> writes:
> > What if, instead, we had a ~/.subversion/repositories file, which
> > looked something like this:
> > [d8f54182-2d6f-4092-bc72-42359026ff08]
> > name = svn-dev
> > description = The Subversion Development Repository
> > url = http://svn.collab.net/repos/svn
> > Then the repository URL could be looked up via the WC UUID.
> > The user could easily change the URL with their Favorite Editor when
> > they need to. Or a cmdline util to manage the known repositories
> > could be created.
> This appears to rely on a 1-1 mapping from UUID to URL. What happens
> if I want to have multiple working copies referring to the same
> repository but using different URLs? It is quite simple to checkout
> the same repository to two separate working copies, one using ra_dav
> and one using ra_svn. This would require two entries in your
> repository file but there is only one UUID.
You're right; this approach assumes that at any particular time there would
be one and only one useful URL for the same repo.
> I don't even need to use different RA libraries to have a problem.
> It's possible that I want to have a "commit" working copy over https
> and another "reference" working copy over http. Again both working
> copies would refer to the same repository UUID but would use different
You make a strong case, as usual. :-)
That WC usage model is certainly space-inefficient, but hey, it's your
disk, you can use it how you please. :-)
All I can say is that losing this functionality (you'd have to, instead,
tweak your config file) is, IMO, preferable to having a potentially-wrong
URL all over the WC.
There is a middle-ground solution: continue to support the url= (or, in
light of issue-960, repos=) WC entry, but fall back to a UUID-based lookup
when none is present. An additional subcommand, "svn bind", could attach
the WC to a particular, preferred URL, and "svn bind -u" could detach it.
To unsubscribe, e-mail: firstname.lastname@example.org
For additional commands, e-mail: email@example.com
Received on Mon Apr 7 08:16:13 2003