darcs

Issue 2004 confusing behaviour with removed files

Title confusing behaviour with removed files
Priority Status unknown
Milestone Resolved in
Superseder Nosy List galbolle
Assigned To galbolle
Topics

Created on 2010-11-28.19:55:10 by igloo, last changed 2012-11-09.20:06:36 by galbolle.

Messages
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
odd.

$ 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)
$
History
Date User Action Args
2010-11-28 19:55:10igloocreate
2012-11-09 20:06:36galbollesetassignedto: galbolle
nosy: + galbolle