Differences

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

--- doc:appunti:prog:git [2024/02/12 11:07] – [Chiave SSH per Github.com] niccolo
+++ doc:appunti:prog:git [2026/03/07 07:30] (current) – 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 300: / Line 308: @@
 git remote show origin
 </code>
+===== Annullare le modifiche locali in conflitto con origin/main =====
+Se un file è stato cambiato sia nella copia locale che nel repository originale, queste sono le istruzioni per annullare le modifiche locali e riallineare tutto al **origin/main** (nell'esempio il file cambiato è ''database-pgsql.sql''):
+<code>
+git fetch origin
+git checkout origin/main -- database-pgsql.sql
+git pull
+git status
+</code>
+In questo modo le modifiche locali vengono annullate e **non resta traccia** di esse nel git.
 ===== Annullare le modifiche locali =====
@@ Line 334: / Line 355: @@
 git merge '@{u}'
 </code>
+===== Ignorare le modifiche locali =====
+Se in un clone locale è necessario modificare alcuni file (ad esempio un file di configurazione) ma non si vuole che tale modifica sia propagata al repository, è possibile marcare ciascun file in questo modo:
+<code>
+git update-index --skip-worktree config/database.php
+</code>
+Il file in questione verrà **ignorato** sia da **pull** che da **push**. Per rimuovere tale caratteristica:
+<code>
+git update-index --no-skip-worktree config/database.php
+</code>
+Purtroppo questa configurazione non può essere utilizzata per ignorare una intera directory.
 ===== Chiave SSH per Github.com =====