Modifiche

Da GolemWiki.

Git

537 byte aggiunti, 3 aprile
Inseriti alcuni comandi frequentemente usati, ma difficili da ricordare.
git push
= Lavorare con git === Lavorare in team ==
[[File:Git-bad-merging.png|thumb|Una piazzola]]
Quando si lavora in gruppo c'è sempre il rischio di "incrociarsi" nel pushare nuove commit, con conseguenti intrecci nella storia del progetto (amichevolmente detti "piazzole di sosta").
#: <code>git commit -m "commit interessante"<br/>git push</code>
== Fondere più commit in uno solo ==
La storia attuale. In <span style="color: blue;">blu</span> i commit che si vogliono ''squashare'' in uno solo.
<span style="color: blue;">59e5834 moved files
Quando si chiude l'editor, si apre una nuova finestra dove è possibile editare il nuovo messaggio di commit.
== Ignorare spazi bianchi ==
A volte capita di trovare codice scritto con editor non degni di questo nome, che non eliminano gli spazi vuoti in fondo alle righe.
Per evitare di suscitare le ire degli scellerati manutentori, ed evitare di riempire il commit con centinaia di modifiche di spazi vuoti, usare:
 
git diff -U0 -w --no-color | git apply --cached --ignore-whitespace --unidiff-zero -
 
== Eliminare branch ==
* Locale
git branch -d ''branchname''
 
* Remoto
git push ''origin'' --delete ''branchname''
[[Category: Howto]]

Menu di navigazione