[darcs-users] Re: [darcs #473] "delete": It should do what you think it means
Albert Reiner
areiner at tph.tuwien.ac.at
Tue Aug 2 13:52:31 UTC 2005
[zooko at zooko.com, Mon, 01 Aug 2005 09:21:29 -0300]:
> Hm... I wonder if the user interface or the documentation could somehow guide
> new users to this usage pattern.
Wouldn't it be sufficient to simply print out a big and flashy
warning:
Warning: unpull is a destructive operation. It may be dangerous
in some situations. RTFM.
together with a short discussion in the manual?
Personally I don't really care for the idea of looking for the patch
in some other repo.
Albert.
More information about the darcs-users
mailing list