Issue 2004 confusing behaviour with removed files

Title confusing behaviour with removed files
Priority Status given-up
Milestone Resolved in
Superseder Nosy List galbolle
Assigned To galbolle

Created on 2010-11-28.19:55:10 by igloo, last changed 2017-07-31.00:50:37 by gh.

msg13269 (view) Author: igloo Date: 2010-11-28.19:55:08
iago ran into this on IRC. "darcs what" knows that "bar" has been
removed, but we can't rename "foo" to "bar" until we explicitly tell
darcs that it's been removed. I'm not 100% sure this is a bug. The
behaviour seems inconsistent, but to fix it the "darcs mv" command would
need to add "remove foo" to _darcs/patches/pending, which seems a little

$ echo foo > foo
$ echo bar > bar
$ darcs init
$ darcs add foo bar
$ darcs rec -a -m initial
Finished recording patch 'initial'
$ rm bar
$ darcs what -s
R ./bar
$ darcs mv foo bar

darcs failed:  A file or dir named bar (or perhaps differing only in case)
already exists in repository.
Use --case-ok to allow files differing only in case.
$ darcs remove bar
$ darcs what -s
R ./bar
$ darcs mv foo bar
$ darcs --version
2.4.3 (release)
Date User Action Args
2010-11-28 19:55:10igloocreate
2012-11-09 20:06:36galbollesetassignedto: galbolle
nosy: + galbolle
2017-07-31 00:50:37ghsetstatus: unknown -> given-up