[Git][snippet] supprimer un fichier ou le contenue d’un dossier du repo
Un rapide snippet pour supprimer un fichier ou le contenue d’un dossier comité et pushé par Erreur. En effet, après avoir poussé un fichier sur le dépôt, si vous supprimer le fichier en local, il ne sera pas supprimer du dépôt distant.
Pour un fichier :
git rm --cached mylogfile.log
Pour un dossier :
git rm --cached -r mydirectory
N’oublier d’ajouter ce fichier ou repertoire à votre .gitignore 😉
A propos de l'autheur
Jérémy
Chef de projet informatique spécialisé dans le domaine du web depuis plusieurs années et référent technique. En veille permanente, je me tiens à jour sur les nouveautés et évolutions afin de pouvoir réfléchir aux meilleurs outils à utiliser en fonction du besoin. De nature autonome et calme, j’aime travailler avec une équipe qui sait se remettre en question et qui cherche la solution la plus adéquate en fonction du problème et des délais imparties.