Differences

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

--- doc:appunti:prog:git [2022/01/09 18:14] – niccolo
+++ doc:appunti:prog:git [2024/02/12 11:07] (current) – [Chiave SSH per Github.com] niccolo
@@ Line 256: / Line 256: @@
 ===== Misc Commands =====
-==== Revert di un singolo file ====
+==== Restore o revert di un singolo file ====
+A partire da Git 2.23 esiste il comando **git restore** che consente di ripristinare un file modificato localmente alla sua versione di checkout:
+<code>
+git restore path/to/file
+</code>
+Con versioni precedenti di Git si può usare:
+<code>
+git checkout -- path/to/file
+</code>
+Se si desidera tornare ad uno specifico commit, si può visualizzare il log degli stessi e richiederlo esplicitamente:
 <code>
 git log path/to/file
-git checkout <commit> path/to/file
+git checkout <commit_id> path/to/file
 </code>
@@ Line 347: / Line 361: @@
 ssh -T git@github.com
 Hi RigacciOrg! You've successfully authenticated, but GitHub does not provide shell access.
-</code<
+</code>
 Verifichiamo che un repository locale sia stato clonato tramite protocollo HTTPS: