Differences

This shows you the differences between two versions of the page.

--- get:undoing_working_directory_changes [2015/11/08 23:55] – created leo
+++ get:undoing_working_directory_changes [2016/05/03 11:31] (current) – leo
@@ Line 10: / Line 10: @@
 Imaginons le cas suivant : on a effacé par erreur un fichier dans le WD, et l'on veut récupérer (check-out) la version du R.
-**git checkout -- <file>** : place la version de <file> du dépôt dans le working directory. Note : le '--' permet de spécifier sans ambiguité que <file> n'est pas un nom de branche.
+<code>**git checkout -- <file>**
+Place la version de <file> du dépôt dans le working directory. Note : le '--' permet de spécifier sans ambiguité que <file> n'est pas un nom de branche.
+</code>