[darcs-users] another confusion re: command names

Andrew Pimlott andrew at pimlott.net
Fri May 21 04:00:54 UTC 2004


On Sat, May 15, 2004 at 02:32:35AM -0700, Adam Megacz wrote:
> Andrew Pimlott <andrew at pimlott.net> writes:
> >     darcs unrecord --with-undo-patch
> >     darcs unpull   --with-undo-patch
> 
> Hrm, what would 'unrecord --with-undo-patch' do?

Exactly what rollback does now: don't touch the working version, but add
an undo patch.  "unpull --with-undo-patch" does what can't easily be
done now: add an undo patch and apply it to the working version.

> It might be nice to either change the UNDO: comment to ROLLBACK: or
> else change 'darcs rollback' to 'darcs undo'.

Probably.

Andrew




More information about the darcs-users mailing list