| commit | baa37bff9a845471754d3f47957d58a6ccc30058 | |
| author | David Turner <dturner@twitter.com> | |
| Thu, 8 May 2014 17:23:34 +0000 (8 10:23 -0700) | ||
| committer | Junio C Hamano <gitster@pobox.com> | |
| Thu, 8 May 2014 21:34:00 +0000 (8 14:34 -0700) | ||
| tree | 7c325075844e18a2eac8e1059694d3f0be403dd8 | treesnapshot (tar.gz zip) |
| parent | ae352c7f37ef2098e03ee86bc7fd75b210b17683 | commitdiff |
mv: allow renaming to fix case on case insensitive filesystems
"git mv hello.txt Hello.txt" on a case insensitive filesystem
always triggers "destination already exists" error, because these
two names refer to the same path from the filesystem's point of
view, and requires the user to give "--force" when correcting the
case of the path recorded in the index and in the next commit.
Detect this case and allow it without requiring "--force".
Signed-off-by: David Turner <dturner@twitter.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
"git mv hello.txt Hello.txt" on a case insensitive filesystem
always triggers "destination already exists" error, because these
two names refer to the same path from the filesystem's point of
view, and requires the user to give "--force" when correcting the
case of the path recorded in the index and in the next commit.
Detect this case and allow it without requiring "--force".
Signed-off-by: David Turner <dturner@twitter.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
| builtin/mv.c | diffblobblamehistory | |
| t/t6039-merge-ignorecase.sh | diffblobblamehistory |