diff --git a/HowtoGit.md b/HowtoGit.md index 6c336d6b..ef6a3ae1 100644 --- a/HowtoGit.md +++ b/HowtoGit.md @@ -1,4 +1,4 @@ ---- +2--- categories: git title: Howto Git ... @@ -456,6 +456,12 @@ Pour avoir le dépôt tel qu'il était à un commit : $ git checkout ~~~ +Ou, un fichier spécifique tel qu'il était à un commit : + +~~~ +$ git checkout -- +~~~ + On est alors dans l'état « HEAD détachée ». Pour revenir dans l'état précédent : ~~~