[darcs-users] mv/remove and copy
David Crawshaw
david at zentus.com
Sun Apr 4 23:21:53 UTC 2004
Why is the remove command called darcs remove, but the move command is
called darcs mv?
Would it be possible to have the commands called remove/move, and have
rm/mv act as short names?
Have you ever considered a copy command? It would basically function
like unix cp, but with the history maintained because darcs knows where
the new file came from.
Also, darcs is great! Thanks for making it.
-- d
More information about the darcs-users
mailing list