[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