darcs

Issue 2381 Cannot darcs mv file to file that did exist but has been removed in working

Title Cannot darcs mv file to file that did exist but has been removed in working
Priority Status duplicate
Milestone Resolved in
Superseder Nosy List owst
Assigned To
Topics

Created on 2014-04-22.11:32:15 by owst, last changed 2014-04-22.11:32:44 by owst.

Messages
msg17370 (view) Author: owst Date: 2014-04-22.11:32:14
1. Summarise the issue (what were doing, what went wrong?)

I tried to delete a file from my repo, and rename another to the same
name as the deleted file. Darcs complained that the target of the rename
already exists in the repo, even though it doesn't in the working dir.

2. What behaviour were you expecting instead?

Darcs should allow me to rename the file! I should also be able to use
revert to get back to exactly where I was (both files existing and with
the correct contents)

Assuming file foo contains one line: "foostuff" and other contains one
line: "otherstuff", I would like to see something like this in whatsnew,
after executing `rm foo && darcs mv other foo`:

    hunk ./foo 1
    -foostuff
    rmfile ./foo
    move ./other ./foo

Note that the move cannot be commuted past the rmfile!

3. What darcs version are you using? (Try: darcs --exact-version)

2.9.8 (+ 18 patches)

4. What operating system are you running?
  
Ubuntu 13.10 X86_64
msg17371 (view) Author: owst Date: 2014-04-22.11:32:43
Ooops, accidentally made a duplicae of 2380, closing.
History
Date User Action Args
2014-04-22 11:32:15owstcreate
2014-04-22 11:32:44owstsetstatus: unknown -> duplicate
messages: + msg17371