Eric Kow wrote: > Note that the choice of 'mv' vs 'remove' was quite deliberate (mv > actually moves things, remove does not). But I think this distinction > is probably lost on most users, and that renaming mv to move (more > precisely, hiding 'mv' and unhiding 'move') should be fine. On the > other hand, renaming remove to rm would be a mistake. Small matters, > but I like polish :-)
maybe those commands should ask you whether you want to perform the corresponding filesystem change (move: very recommended to do it before the record, otherwise darcs and you get confused?; remove: makes no difference to Darcs whether you want to delete the file or just remove it from repo-management). Or maybe just asking the user after "remove" would be enough to clear up what it actually does and always accomplish what the user was intending to do. (unless the user provides a command-line flag specifying which way they want it; which also would allow that if someone wants the old behaviour back, they just have to add a pref) -Isaac _______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
