Supprimer un fichier ou dossier de l'indexe Git - 0x485254/brief-26 GitHub Wiki

🧹 Supprimer .idea/ du suivi Git proprement

🎯 Objectif

Empêcher le dossier .idea/ (fichiers de configuration JetBrains/IntelliJ) de revenir dans les commits, même après un git pull.


✅ Étapes à suivre (dans une branche principale comme main ou dev)

git rm -r --cached .idea              # Supprime le dossier du suivi Git sans le supprimer localement
echo ".idea/" >> .gitignore           # Ajoute .idea/ au .gitignore si ce n’est pas déjà fait
git add .gitignore
git commit -m "Untrack .idea and update .gitignore"
git push

🔁 Propager le changement aux autres branches

Cas 1 : Tu vas merger cette branche dans toutes les autres

Il suffit d'exécuter la commande une seule fois, puis de propager :

git checkout autre-branche
git merge main  # ou git rebase main

Cas 2 : Tu ne merges pas les branches entre elles

Tu dois refaire la suppression du suivi .idea dans chaque branche concernée :

git rm -r --cached .idea
echo ".idea/" >> .gitignore
git add .gitignore
git commit -m "Untrack .idea on this branch"
git push

🔍 Vérifier si .idea/ est encore suivi

git ls-files | grep .idea
  • Si cette commande retourne une ou plusieurs lignes, .idea est encore suivie sur cette branche.

✅ Rappel

  • .gitignore n'empêche que les nouveaux fichiers d'être trackés.
  • Pour les fichiers déjà suivis, il faut les "untrack" avec git rm --cached.

🧠 Bonne pratique

Effectuer cette opération une seule fois sur la branche principale, puis merger cette correction dans toutes les autres branches pour éviter la duplication de l'effort.