Re: Bug: Changing folder case with `git mv` crashes on case-insensitive file system

From: Junio C Hamano <gitster@pobox.com>
Date: May 5, 2021, 00:23 UTC
Message-ID: <xmqqtuni58ra.fsf@gitster.g>
In-Reply-To: <20210504151954.aczbvml4rh7t2svc@tb-raspi4>

Torsten Bögershausen <tboegi@web.de> writes:

Show 11 quoted lines

> To my undestanding we try to rename
> foo/ into FOO/.
> But because FOO/ already "exists" as directory,
> Git tries to move foo/ into FOO/foo, which fails.
>
> And no, the problem is probably not restricted to MacOs,
> Windows and all case-insenstive file systems should show
> the same, but I haven't tested yet, so it's more a suspicion.
>
> The following diff allows to move foo/ into FOO/
> If someone wants to make a patch out if, that would be good.

Is strcasecmp() sufficient for macOS whose filesystem has not just case insensitivity but UTF-8 normalization issues?