You can use git mv: git mv -f OldFileNameCase newfilenamecase.
When you are on a case-sensitive file system (Linux), case-only renames
Starting Git 2.0.1 (June 25th, 2014), a git mv will just work on a case insensitive OS. See commit baa37bf by David Turner ( dturner-tw ).
You can rename the file in a case-sensitive way and commit the
If you have a directory named Assets and you want to rename it to assets , run git mv Assets assets , and then commit that change. That will tell ...
not shown as missing, but deleted) and in case of move/rename also re-added with the new names (i.e., the ...
Error TS1149: File name 'C:/Project/frontend/scripts/State.ts' differs from
I did not find a good way to fix this problem. Also, other people in your team will not get the filename changes you just comitted on a git pull .
Commit file 'foo.txt'; Attempt to rename 'foo.txt' to 'Foo.txt' using TortoiseGit Context ... the problem because Java checks that the filenames have the right casing.
How Git interacts with case-insensitive filesystems.