diff options
author | Jeff King <peff@peff.net> | 2013-04-04 15:03:35 -0400 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2013-04-04 12:28:47 -0700 |
commit | 9a6728d4d14a08791861a63b7567ee0b50e59f70 (patch) | |
tree | 246e029fbdefd279e1b763c9e22360a54a07ee04 /Documentation/RelNotes/1.5.4.2.txt | |
parent | git-remote-mediawiki: new wiki URL in documentation (diff) | |
download | tgif-9a6728d4d14a08791861a63b7567ee0b50e59f70.tar.xz |
rm: do not complain about d/f conflicts during deletion
If we used to have an index entry "d/f", but "d" has been
replaced by a non-directory entry, the user may still want
to run "git rm" to delete the stale index entry. They could
use "git rm --cached" to just touch the index, but "git rm"
should also work: we explicitly try to handle the case that
the file has already been removed from the working tree.
However, because unlinking "d/f" in this case will not yield
ENOENT, but rather ENOTDIR, we do not notice that the file
is already gone. Instead, we report it as an error.
The simple solution is to treat ENOTDIR in this case exactly
like ENOENT; all we want to know is whether the file is
already gone, and if a leading path is no longer a
directory, then by definition the sub-path is gone.
Reported-by: jpinheiro <7jpinheiro@gmail.com>
Signed-off-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/RelNotes/1.5.4.2.txt')
0 files changed, 0 insertions, 0 deletions