Как убрать файл, который уже есть в .gitignore?

Как убрать workspace.xml, чтобы он не индексировался?
В .gitignore написано
.idea/workspace.xml /.idea/workspace.xml .idea /.idea */.idea/workspace.xml
но она все равно индексируется.

Ответ

наболее краткий вариант (всего две изменяющие что-либо команды)
рекурсивно удаляем из репозитория каталог (рабочая копия не затрагивается — меняется только содержимое индекса):
$ git rm -r --cached .idea
перед git commit всегда полезно посмотреть git status и убедиться, что всё идёт так, как надо:
$ git status On branch master Changes to be committed: (use "git reset HEAD ..." to unstage)
deleted: .idea/workspace.xml всё в порядке. делаем commit. рабочая копия тем более не затрагивается — меняется содержимое репозитория (всего того, что находится в каталоге .git):
$ git commit ...
проверяем:
$ ls .idea workspace.xml
да, файл на месте.
а в .gitignore достаточно оставить одну строку (из всех озвученных в вопросе):
.idea