[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