On Wed, Oct 19, 2005 at 10:59:39AM +0900, Stephen J. Turnbull wrote: > > David Roundy <[EMAIL PROTECTED]> writes: > > As I say, if you propose a (hopefully conservative--or agreeing with a > > subset of existing practice) terminology, I'll let you know if I agree > > with it, and then you can go ahead and do this. > > I can do my best, but I would really like input from others on the > terminology. I'm happy to do the work, but it's already clear to me > that my taste in these things differs from yours. That only matters > (even to me :-) if there are many others who agree with me, but I > think it's worth asking.
I think this is something where you'll have to take the initiative if something is to happen. The status quo isn't too bad, so people aren't likely to speak up unless you have done some work. If you write up a proposal for a clear set of naming conventions/terminology, I (and I'm sure others as well) will look over and criticize, but otherwise nothing will happen. Which isn't too bad--the docs aren't in a truly disastrous state, and I've only got so much time to spend on darcs (speaking of which, I should get to work...). > David> At least that's what [the suffix -name is] intended to > David> mean... if it doesn't work that way, we should fix it. > > OK, I'll check that. I think those suffixes are consistent across > commands. Would you like me to document any that I find? Yes, that would be nice. > David> It's redundant with the more intuitive method of giving a second > David> argument to get. > > Hm. FWIW, I've never found distinctions between get and pull (in CVS, > checkout and update) at all intuitive. (The optimization should be done > implicitly.) So I intuitively interpret "darcs get repoA repoB" as > "darcs get repoA; darcs pull repoB". Partially that's a holdover from > CVS, I guess, where checkout uses a flag to rename the new workspace. The difference is key in that one creates a new repository and the other doesn't. If you mean to pull, you don't want to accidentally (because you're not in a repository) get the entire repo. Similarly, often one wants to get a repository within an existing repository. If you used pull, you'd end up merging the two repositories, which wouldn't be what you want at all. > Again, this only matters at all if there are a lot of users who agree > with me. I think the only way to find that out is to write up a proposal (with a shiny new subject header that will catch people's attention). -- David Roundy http://www.darcs.net _______________________________________________ darcs-users mailing list [email protected] http://www.abridgegame.org/mailman/listinfo/darcs-users
