[darcs-users] wishlist for darcs 2.1

Isaac Dupree isaacdupree at charter.net
Fri May 23 12:29:31 UTC 2008


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


More information about the darcs-users mailing list