[darcs-users] another confusion re: command names

Kenneth Knowles kknowles at berkeley.edu
Tue May 11 05:48:34 UTC 2004

On Mon, May 10, 2004 at 07:16:47PM -0700, Kevin Smith wrote:
> 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.
> I haven't thought through this specific proposal enough to know if it 
> really makes sense, but the sales pitch sure makes it sound good! :-)

I'm really quite satisfied with "darcs unrecord && darcs revert" if that is
equivalent to a --and-revert option.  The "shortcut" of unpull seems out of step
with darcs' simplicity.


More information about the darcs-users mailing list