[darcs-users] mv/remove and copy

[David Crawshaw]

On 05/04/2004, at 1:30 PM, Tommy Pettersson wrote:
> (The answer is in the manual.)  `darcs remove' does not `rm'
> the file/directory from the file system, but `darcs mv' does
> `mv' it.  There is no need for a `darcs rm' since darcs finds
> out by itself when a file is gone.

Good reason.

> `darcs remove' could maybe be called `darcs unadd' instead.

That would fit better with the newspeak-style naming (which is a 
positive in this case).

Perhaps the manual could have a commands section and then a reversible 
actions section. With all the reversible actions under paired off 
titles: pull/unpull, record/unrecord, etc.

-- d