Mini tutoriel pour supprimer de Git , un fichier de toute votre l’historique de votre dépôt. Celà peut aussi servir de dépannage.
Il arrive qu’un type de fichiers allourdit votre dépôt git et pendant le développement vous avez décidé d’ignorer ces fichiers en l’ajoutant dans le fichier .gitignore. En utilisant cette méthode, vous ralentisez le remplissage de votre espace mémoire mais que ferez vous des fichiers lourds restantes dans l’historique de votre dépôt ?
Dans ce tutoriel vous allez découvrir un bon moyen de supprimer votre fichier dans toute l’historique de votre dépôt. Celà vous permettra de gagner beaucoup d’espace dans votre disque dur ou dépôt distant.
[bctt tweet=”Git – Comment supprimer un fichier de toute l’historique de votre dépôt – tutoriel” username=”tedidevblog”]
Git – Comment supprimer un fichier de toute votre l’historique de votre dépôt
En général, il est facile de supprimer les fichiers dans un commit git. Faire la suppression dans toute l’historique des codes sources n’est pas une tâche aisée. La commande qu’on va poster peut mettre du temps pour exécuter suivant le nombre de commit de votre dépôt.
L’auteur qui a découvert cette commande a mentionné que cette dernière a mis 10 heures pour supprimer son fichier de tous l’historique de son dépôt git. C’est normal parce que son dépôt a plus de 10 ans avec plus de 90k commits.
git filter-branch --index-filter "git rm -rf --cached --ignore-unmatch path_to_file " HEAD
path_to_file : c’est le chemin vers le fichier que vous désirez supprimer …
Avant d’exécuter la commande prévoyer autre chose à faire pour vous occuper. Peut être une pause thé ou café.
Après l’exécution de la commande, il faut envoyer le nouveau dépôt à votre serveur git distant avec la commande suivante :
git push -all
On espère que nous vous avons aidé dans ce dépannage !!
Auteur : Zetaplus
Conclusion
Vous serez peut être intéressé par Android studio – No value has been specified for property googleServicesResourceRoot et Les 21 animaux les plus moches du monde