From e5d8800211bbcc551278daab78a86bb44bc0370c Mon Sep 17 00:00:00 2001
From: jdubois <jdubois+gitit@evolix.fr>
Date: Thu, 12 Apr 2018 16:57:21 +0200
Subject: [PATCH] ajout git checkout fichier

---
 HowtoGit.md | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

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 <SHA1 du commit>
 ~~~
 
+Ou, un fichier spécifique tel qu'il était à un commit :
+
+~~~
+$ git checkout <SHA1 du commit> -- <fichier>
+~~~
+
 On est alors dans l'état  « HEAD détachée ». Pour revenir dans l'état précédent :
 
 ~~~