Gitで管理してるディレクトリ名の大文字小文字をgit mvで変更しようとした時の話

先日Gitで管理しているプロジェクトをGitHubにpushしたさい、ディレクトリ名を間違えたままpushしてしまいました。

Javascript

これでは怒られる！急いでリネームしなければ！

$ git mv Javascript JavaScript
// fatal: renaming 'Javascript' failed: Invalid argument

なんとエラーが出てしまいました。

fatal： 'Javascript'の名前変更に失敗しました：無効な引数

無効な引数？何故？

解決法

$ git mv Javascript _javascript
$ git mv _javascript JavaScript

一度_なり文字を入れて違うディレクトリ名にしてから、再度修正したいディレクトリ名にするのが現状の解決法らしい。

調べてみた

参考にさせてもらったサイト
頭ん中 : Git でファイル名やディレクトリ名の大文字/小文字を変更する方法

DevelopersIO : あれMacって大文字と小文字を区別しないのか

確かにディスクユーティリティから情報を確認したところ、

大文字/小文字を区別: いいえ

になってました、これが原因なのかな？WindowsやLinuxだとそのまま変えれるのだろうか。