[darcs-users] Re: renaming the rerecord command
Jean Jordaan
jean at upfrontsystems.co.za
Tue Oct 19 14:42:58 UTC 2004
>>darcs undo-record
>
> This is not different enough from 'unrecord' to merit a name change.
Agree ..
>>darcs amend-record
>
> This could be OK, especially if 'amend' worked as a shortcut.
Yes. And with bash-completion (works great on the Gentoo darcs
build :), TAB would complete to show the record part.
--
Jean Jordaan
http://www.upfrontsystems.co.za
More information about the darcs-users
mailing list