Permettez-moi de vous donner une réponse fiable. Il n'y a rien de mal à adopter la réponse, mais elle n'est pas très pertinente. Elle ne cible pas d'opérations de fichiers spécifiques ni n'utilise un IDE.
Comme je n'ai pas PHP Storm, je vais utiliser son grand frère IntelliJ IDEA comme exemple.
En fait, vous n'avez pas besoin de supprimer le fichier local et d'obtenir la dernière version. Ce que vous devez faire est : « Mettre à jour n'importe quelle version du fichier spécifié via l'historique », qui inclut bien sûr la dernière version. Ensuite, il y a une prémisse selon laquelle vous avez obtenu le dernier enregistrement de l'historique, qui est git fetch, et l'opération IDE correspondante est :
Voyons ensuite comment mettre à jour la version du fichier spécifié.
La première étape consiste à afficher l'historique du fichier cible
La deuxième étape consiste à trouver la version que vous souhaitez (qu'il s'agisse d'une nouvelle version ou d'une ancienne version)
De plus, vous pouvez comparer le contenu du fichier à ce moment-là pour vous aider à identifier la version souhaitée, comme indiqué ci-dessous (Comparer... est disponible dans le menu contextuel)
Enfin, utilisez l'élément de menu Obtenir pour obtenir la version spécifiée. La commande correspondante est git checkout
.
Comme mentionné ci-dessus, le fonctionnement intégré dans l'IDE est toujours très pratique. Ce qui est mieux que la ligne de commande, c'est que les instructions graphiques sont assez claires. Mais - la ligne de commande est plus rapide et plus flexible. Tant que votre esprit est suffisamment clair, la ligne de commande est toujours plus efficace.
En fait, si le processus se déroule sans problème, la moitié d'entre eux seront moins susceptibles d'obtenir des versions spécifiques de fichiers spécifiques. Dans la plupart des cas, nous faisons git pull -> work -> commit -> work -> commit ... -> (peut-être résoudre les conflits) -> 🎜>, vous obtenez la dernière version de tous les fichiers (équivalent à git pull + git push), donc les opérations ci-dessus consistent souvent à restaurer la version au lieu d'obtenir la dernière version, à moins que vous ne souhaitiez tout simplement pas Si vous souhaitez que toutes les versions soient mises à jour, ma réponse est ce dont vous avez besoin. git pull
Quand vous dites soumettre, voulez-vous dire commit ou push ?
Si vous souhaitez simplement supprimer un certain fichier, supprimez-le simplement directement,
S'il s'agit d'un commit de restauration, utilisez revenir à la version avant de vouloir mettre à jour, puis extrayez à nouveau
Cela n’a rien à voir avec PhpStorm, ce sont juste des opérations git de base.
Supprimez le fichier localement et retirez le fichier distant vers le bas.
Supprimer a.js rm -rf a.js
Mise à jour locale git add . git commit -m "deleted a.js"
Fusionner la télécommande git fetch git checkout origin/master a.js
l'origine est le nom distant
master est une branche distante
Permettez-moi de vous donner une réponse fiable. Il n'y a rien de mal à adopter la réponse, mais elle n'est pas très pertinente. Elle ne cible pas d'opérations de fichiers spécifiques ni n'utilise un IDE.
Comme je n'ai pas PHP Storm, je vais utiliser son grand frère IntelliJ IDEA comme exemple.
En fait, vous n'avez pas besoin de supprimer le fichier local et d'obtenir la dernière version. Ce que vous devez faire est : « Mettre à jour n'importe quelle version du fichier spécifié via l'historique », qui inclut bien sûr la dernière version. Ensuite, il y a une prémisse selon laquelle vous avez obtenu le dernier enregistrement de l'historique, qui est
git fetch
, et l'opération IDE correspondante est :Voyons ensuite comment mettre à jour la version du fichier spécifié.
La première étape consiste à afficher l'historique du fichier cible
La deuxième étape consiste à trouver la version que vous souhaitez (qu'il s'agisse d'une nouvelle version ou d'une ancienne version)
Enfin, utilisez l'élément de menu Obtenir pour obtenir la version spécifiée. La commande correspondante est
.git checkout
Comme mentionné ci-dessus, le fonctionnement intégré dans l'IDE est toujours très pratique. Ce qui est mieux que la ligne de commande, c'est que les instructions graphiques sont assez claires. Mais - la ligne de commande est plus rapide et plus flexible. Tant que votre esprit est suffisamment clair, la ligne de commande est toujours plus efficace.
En fait, si le processus se déroule sans problème, la moitié d'entre eux seront moins susceptibles d'obtenir des versions spécifiques de fichiers spécifiques. Dans la plupart des cas, nous faisons
git pull
-> work -> commit -> work -> commit ... -> (peut-être résoudre les conflits) -> 🎜>, vous obtenez la dernière version de tous les fichiers (équivalent àgit pull
+git push
), donc les opérations ci-dessus consistent souvent à restaurer la version au lieu d'obtenir la dernière version, à moins que vous ne souhaitiez tout simplement pas Si vous souhaitez que toutes les versions soient mises à jour, ma réponse est ce dont vous avez besoin.git pull
Quand vous dites soumettre, voulez-vous dire commit ou push ?
Si vous souhaitez simplement supprimer un certain fichier, supprimez-le simplement directement,
S'il s'agit d'un commit de restauration, utilisez revenir à la version avant de vouloir mettre à jour, puis extrayez à nouveau
Cela n’a rien à voir avec PhpStorm, ce sont juste des opérations git de base.
Supprimez le fichier localement et retirez le fichier distant vers le bas.
Supprimer a.js
rm -rf a.js
Mise à jour locale
git add .
git commit -m "deleted a.js"
Fusionner la télécommande
git fetch
git checkout origin/master a.js
l'origine est le nom distant
master est une branche distante
Ce n’est pas aussi compliqué que celui de Woody, non ? ?
Juste
git checkout a.js
et c'est tout