[darcs-users] another confusion re: command names

zooko at zooko.com zooko at zooko.com
Tue May 11 11:11:10 UTC 2004

> Jan Braun wrote:
> > Then wouldn't it be better to remove the unpull command altogether and create
> > an "--and-revert" option to unrecord? This should be quite self-explanatory,
> > makes the possibly unsafe unpull operation more explicit to type and leaves
> > the user with one fewer command name to keep in his head.
> I am generally in favor of any suggestion that removes one of the 
> multitudes of "un-" commands in darcs.

Even though I now know understand what "unpull" does and why it is named that,
I still find the name confusing and I prefer to type "unrecord; revert".

I guess I'm just resentful at how much time I wasted that day.  ;-)



More information about the darcs-users mailing list