[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