Vous est-il déjà arrivé d’ignorer un gros dossier à l’aide du .gitignore
, mais de vouloir malgré tout ajouter un fichier spécifique de ce dossier au repository ?
Il faut savoir que les règles définies dans le .gitignore
ne s’appliquent qu’aux fichiers qui ne sont pas suivis par git. Cela veut dite que si vous ajoutez un fichier, que vous le commitez, l’ajouter ensuite aux règles du .gitignore
n’aura aucun effet dessus.
Mais qu’en est-il de l’ajout d’un fichier qui est dans un dossier ignoré ? La plupart des interfaces git (github pour windows, git kraken etc…) n’affichent pas les fichiers ignorés lors de la préparation d’un commit. Cela ne veut pas dire pour autant que c’est impossible de les ajouter.
Imaginons le fichier .gitignore
suivant:
storage/*
Qu’en est-il si je veux tout de même ajouter un fichier data.csv
par exemple ? Pour cela on va utiliser la commande git add avec son option -f (force) pour outre-passer la règle définie:
git add storage/data.csv -f
Si vous avez d’autres astuces git à partager, ou une question, n’hésitez pas à la laisser en commentaire !