Supprimer les fichiers ignorés de git
Si vous avez déjà été dans la situation où les fichiers ou répertoires déjà enregistrés dans git doivent être supprimés, il existe une seule commande qui fait exactement cela. Cette commande évite de supprimer les données, valide la suppression et ajoute à nouveau les mêmes données par la suite.
# 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
Fonctionne également pour les données déjà enregistrées
Cette commande supprime également le fichier ou le répertoire spécifique du git-tree si les données ont été ajoutées avant d'être définies dans le fichier gitignore. Bien sûr, le vrai fichier ou répertoire ne sera pas supprimé, seulement sa référence dans git.
