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 [2025/11/27 09:55] (current) – [Gestione dei tag] niccolo
@@ Line 134: / Line 134: @@
 </code>
-se invece della versione corrente si vuole etichettare un commit precedente, bisogna individuare l'hash ed eseguire il comando (notare che l'hash è indicato in forma abbreviata):
+Una pratica abbastanza diffusa è quella di usare il solo numero di versione come tag, es. **v0.41**. Viene aperto l'editor per poter inserire una **breve descrizione** del tag.
+Se invece della versione corrente si vuole etichettare un commit precedente, bisogna individuare l'hash ed eseguire il comando (notare che l'hash è indicato in forma abbreviata):
 <code>
@@ Line 148: / Line 150: @@
 <code>
 git push origin print3d-1.0
+</code>
+È possibile anche fare il push di tutti i nuovi tag con il comando:
+<code>
+git push origin --tags
 </code>
@@ Line 256: / Line 264: @@
 ===== 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 369: @@
 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: