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

Tomasz Zielonka tomasz.zielonka at gmail.com
Fri Mar 18 06:32:16 UTC 2005


On Fri, Mar 18, 2005 at 07:26:22AM +0100, Tomasz Zielonka wrote:
> 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
>     ...
>     ?

OK, I agree that 'unapply' is a better name :-)

Best regards
Tomasz




More information about the darcs-users mailing list