[darcs-users] darcs patch: Refactor "darcs put" help.

Trent W. Buck trentbuck at gmail.com
Sun Dec 7 00:46:45 UTC 2008


Benedikt Schmidt <Benedikt.Schmidt at inf.ethz.ch> writes:

> Trent W. Buck <trentbuck at gmail.com> writes:
>
>> +put_help =
>> + "The `darcs put' command creates a copy of the current repository.  It\n" ++
>> + "is currently very inefficient, so when creating local copies you\n" ++
>> + "should use `darcs get --repodir x $PWD' instead of `darcs put x'.\n" ++
>> + "\n" ++
>
> Any reason why we can't just implement this as a special case in put?
> Would at least help if the new repository is local.

I think that's a good idea, but I don't have the experience to implement
it easily and I'd rather work on the documentation right now.



More information about the darcs-users mailing list