[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