case-insensitiveなファイルシステムにおいてGitで間違えてコミットしたcaseを修正する

TL;DR

git mv を使いましょう

何を言っているのか

OSXのファイルシステムはデフォルトでcase-insensitiveとなっている．OSを入れなおすことでcase-sensitiveにできたり，case-sensitiveなfsのパーティションを切ることもできる．なお，Linuxではたいていのファイルシステムはcase-sensitiveになっている．この差がよくない．

例えばmainWindow.jsというファイル名なのにimport MainWindow from './MainWindow'というコードを書くとMacでは正しくうごくが，Linuxでは動かないみたいなことが起きる(はず)．これを修正するためにファイル名をMainWindow.jsに変更すると，MacではGitがファイル名の変更を正しく認識しないのでdiffが見えない．なので，修正するためにgit mvしようという話でした．git mvしておけば，別の人がすでにcloneしててもgit pullすればちゃんとファイル名を変えてくれる．

Macのfsをむやみにcase-sensitiveに変えるべきではないと思う．Mac用のツールが(無意識的に)case-insensitiveであることを前提に書かれている場合，不具合の原因となりうる．