Differences

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

--- doc:appunti:prog:git [2025/11/27 09:55] – [Gestione dei tag] niccolo
+++ doc:appunti:prog:git [2026/03/07 07:30] (current) – niccolo
@@ Line 308: / 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 342: / 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 =====