無視されたファイルをgitから削除する
gitですでにチェックインされているファイルまたはディレクトリを削除する必要がある状況にあった場合は、これを正確に実行する1つのコマンドがあります。このコマンドは、データの削除を回避し、削除をコミットして、後で同じデータを再度追加します。
# In this example, the 'bin'-directory
# gets removed from git. Note that this
# operation doesn't remove the file
# itself, only its reference in git.
git rm -r --cached bin
# Same command, for the file 'log.ts'.
git rm -r --cached log.ts
すでにチェックインされているデータでも機能します
このコマンドは、データがgitignore-fileで定義される前に追加されている場合、特定のファイルまたはディレクトリをgit-treeから削除します。もちろん、実際のファイルやディレクトリは削除されず、gitでの参照のみが削除されます。
