[darcs-users] get/pull/push

Ashley Yakeley ashley at semantic.org
Thu Feb 24 09:43:57 UTC 2005


OK, I'm just starting with darcs.

As I understand it, "darcs get" is only valid if you don't have a 
repository locally, while "darcs pull" is only valid if you do have one. 
Why not merge the two commands?

Equally (as has been suggested), "darcs push" should create a repository 
remotely if there isn't one. But it should probably prompt you first...

-- 
Ashley Yakeley, Seattle WA





More information about the darcs-users mailing list