Differences

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

--- doc:appunti:prog:git [2022/01/09 16:46] – [Propagare un branch locale anche in remoto] niccolo
+++ doc:appunti:prog:git [2024/02/12 11:07] (current) – [Chiave SSH per Github.com] niccolo
@@ Line 124: / Line 124: @@
 Dalla propria home page, cliccare sul fork. Controllare che il titolo della pagina sia **%%<username>/<projectname>%%**. Quindi cliccare sul tab **Settings** e quindi in fondo alla pagina **Delete this repository**.
-===== Branches =====
+===== Gestione dei tag =====
+Uno dei motivi più comuni per cui creare un **tag** è dare un nome e un numero di versione di una particolare versione del progetto. Quello che viene maracto con un tag diventa **immutabile** e non potrà essere cambiato in futuro. Per contro i **branch** servono a identificare rami diversi dello sviluppo che subiranno eventuali cambiamenti.
+Ad esempio per marcare la versione corrente con il nome **print3d-1.0** si esegue:
+<code>
+git tag -a print3d-1.0
+</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):
+<code>
+git log --pretty=oneline
+...
+d7dd3e5c44023bfefc6a6c649506e3e029929b4c Added a 3D printable OpenSCAD model.
+...
+git tag -a print3d-1.0 d7dd3e5
+</code>
+Infine bisogna salvare sul repository remoto (origin) il nuovo tag:
+<code>
+git push origin print3d-1.0
+</code>
+Se si desidera rimuovere un tag dal repository remoto:
+<code>
+git push --delete origin print3d-1.0
+</code>
+===== Gestionde dei branch =====
 Mostra i rami di sviluppo, locali e remoti:
@@ Line 224: / 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 253: / Line 299: @@
 <code>
 git remote show origin
-</code>
-===== Creare un tag =====
-Uno dei motivi più comuni per cui creare un **tag** è dare un nome e un numero di versione di una particolare versione del progetto. Quello che viene maracto con un tag diventa **immutabile** e non potrà essere cambiato in futuro. Per contro i **branch** servono a identificare rami diversi dello sviluppo che subiranno eventuali cambiamenti.
-Ad esempio per marcare la versione corrente con il nome **print3d-1.0** si esegue:
-<code>
-git tag -a print3d-1.0
-</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):
-<code>
-git log --pretty=oneline
-...
-d7dd3e5c44023bfefc6a6c649506e3e029929b4c Added a 3D printable OpenSCAD model.
-...
-git tag -a print3d-1.0 d7dd3e5
-</code>
-Infine bisogna salvare sul repository remoto (origin) il nuovo tag:
-<code>
-git push origin print3d-1.0
 </code>
@@ Line 341: / 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: