Gitリポジトリで大文字と異なるファイルを削除するには？私のリポジトリに

Question

、同じ名前を持ついくつかのファイルがある、唯一の違いは、最初の文字がproducts.sqlとProducts.sqlのように、資本やないからです。

私が作成した小さな文字でファイルを作ったが、後に、私は最初の文字の首都にそれを改名しました。私はローカルのコンピュータから削除せず、名前を変更してGitにコミットしました。しかし、私がリポジトリをチェックすると、大文字と小文字の2つがあります。

私は（もちろん、彼らは同じパスにある）ではないProducts.sqlだけで、products.sqlを削除したいです。

git rm products.sql 

が、それは Products.sqlと products.sqlの両方を削除します。私はこれを試してみました！私はなぜそれが起こっているのかわかりません。私が知っているように、Gitは大文字と小文字を区別しないので、ファイル名を変更する前にgit configを大文字と小文字を区別しないように変更しました。

安全にこれらの不要なファイルを削除する方法はありますか？私はBitbucketを使用しているので、ウェブから削除することができますが、ちょっと、そこにたくさんのものがあり、それらを一度に完全に削除したいのです。

Answer 1

git config --global core.ignorecase false 

を修正する必要があります。

EDIT： これは、あなたがWindows上じゃない、特に以来、奇数です。解決策はProducts.sqlを他のフォルダ（制御されたgitではなく）にコピーしてからgit rmにコピーして、ファイルをコピーしてからコミットすることです。