[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