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

[Nimrod A. Abing]

On Fri, 18 Mar 2005 07:32:16 +0100, Tomasz Zielonka
<tomasz.zielonka at gmail.com> wrote:
> 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
> 
> _______________________________________________
> darcs-users mailing list
> darcs-users at darcs.net
> http://www.abridgegame.org/mailman/listinfo/darcs-users
> 

How about just creating an alias for the "unpull" operation instead of
completely renaming it? Or rename "unpull" but leave it as an alias
for the new name.

just my 2 cents...
-- 
_nimrod_a_abing_

v1sw5CPJYUhw5ln3pr8OUSck6ma8u7LBw3DWNTm5g/l7DaIs7Rr4e6t5Xb4Op1en3g5RZAHC