J'ai mon repo @ github. J'ai fait un peu de travail à la maison et je l'ai poussé sur github. Cela a impliqué la suppression de certains fichiers et répertoires. Maintenant, je suis sur ma boîte de travail, qui avait une copie du code avant de supprimer les fichiers et les répertoires.
J'ai publié ce qui suit :
git remote update
git checkout HEAD
git pull origin HEAD
Il a supprimé tous les fichiers qu'il aurait dû supprimer, mais pas les répertoires dans lesquels ils se trouvaient.
Deux questions :
- Pourquoi n'a-t-il pas supprimé les répertoires ?
- Y a-t-il une commande git que je puisse lancer dans l'état actuel pour les supprimer ?
0 votes
C'est vrai, git checkout HEAD ne fait rien, puisque HEAD est une référence pointant vers le commit en cours de check-out. Vous vouliez probablement utiliser master dans les deux cas.
0 votes
En fait, HEAD a tout mis à jour à l'exception de la suppression des répertoires vides. Comme je l'ai dit, je suis nouveau dans Git.
0 votes
Duplicata possible de Comment forcer "git pull" à écraser les fichiers locaux ? Veuillez consulter les réponses qui s'y trouvent si vous souhaitez encore des solutions différentes.