[darcs-users] Re: argh. please change the name "unpull"

Tomasz Zielonka tomasz.zielonka at gmail.com
Fri Mar 18 06:26:22 UTC 2005


On Thu, Mar 17, 2005 at 04:51:25PM -0500, Mark Stosberg wrote:
> On Thu, Mar 17, 2005 at 10:00:51PM +0100, Tomasz Zielonka wrote:
> > 
> > How about 'unrecord --revert' ?
> 
> No. This is a double negative and is confusing.
> 
> It sounds like you might be 'reverting an unrecord'.

    darcs unrecord --totally
    darcs unrecord --destroy
    darcs unrecord --annihilate
    darcs unrecord --erase
    ...
    ?

Best regards
Tomasz




More information about the darcs-users mailing list