git_guida_pratica
Differenze
Queste sono le differenze tra la revisione selezionata e la versione attuale della pagina.
| Prossima revisione | Revisione precedente | ||
|
git_guida_pratica [2014/03/02 15:32] mickele creata |
git_guida_pratica [2017/05/15 15:45] (versione attuale) mickele |
||
|---|---|---|---|
| Linea 7: | Linea 7: | ||
| Lavorando su progetti complessi distribuiti su più file, sicuramente avrete sentito parlare di controllo di versione. Se non ne avete mai sentito parlare vi rimando alla pagina [[http:// | Lavorando su progetti complessi distribuiti su più file, sicuramente avrete sentito parlare di controllo di versione. Se non ne avete mai sentito parlare vi rimando alla pagina [[http:// | ||
| - | Uno dei software attualmente più diffusi per il controllo di versione è [[http:// | + | Uno dei software attualmente più diffusi per il controllo di versione è [[http:// |
| ~~READMORE~~ | ~~READMORE~~ | ||
| Linea 25: | Linea 25: | ||
| Per aggiungere file al repository, o per segnalare al sistema che un file è stato modificato, usiamo il comando | Per aggiungere file al repository, o per segnalare al sistema che un file è stato modificato, usiamo il comando | ||
| - | git add < | + | git add nome-file |
| + | |||
| + | Per controllare i file già presenti nel repository ed aggiungerli al commit se sono stati modificati | ||
| + | |||
| + | git add -u | ||
| Terminate le modifiche ai file, segnalati con il comando //git add//, validiamo le modifiche (creiamo il //commit//) | Terminate le modifiche ai file, segnalati con il comando //git add//, validiamo le modifiche (creiamo il //commit//) | ||
| Linea 31: | Linea 35: | ||
| git commit -m " | git commit -m " | ||
| - | Per caricare in remoto le modifiche apportate usiamo | + | Per caricare in remoto le modifiche apportate |
| git push | git push | ||
| - | Infine per scaricare gli aggiornamenti caricati in remoto usiamo il comando | + | Infine per scaricare |
| git pull | git pull | ||
| Linea 55: | Linea 59: | ||
| git tag -l | git tag -l | ||
| - | Se invece vogliamo cancellare il tag "tagname" digitiamo | + | Se invece vogliamo cancellare il tag "nome-tag" digitiamo |
| - | git tag -d tagname | + | git tag -d nome-tag |
| - | git push origin :tagname | + | git push origin :nome-tag |
| ===== Branches ===== | ===== Branches ===== | ||
| - | I branch sono usati per gestire diverse | + | I branch sono usati per gestire diverse |
| - | | + | Per creare un nuovo branch |
| + | |||
| + | | ||
| Una volta creato il branch localmente, lo carichiamo in remoto con il comando | Una volta creato il branch localmente, lo carichiamo in remoto con il comando | ||
| - | git push origin | + | git push origin |
| | | ||
| Per verificare i branch disponibili in remoto diamo il comando | Per verificare i branch disponibili in remoto diamo il comando | ||
| Linea 76: | Linea 82: | ||
| Per lavorare con il nuovo branch | Per lavorare con il nuovo branch | ||
| - | git checkout | + | git checkout |
| Per verificare quanti branch abbiamo | Per verificare quanti branch abbiamo | ||
| Linea 84: | Linea 90: | ||
| Il branch con l' | Il branch con l' | ||
| - | % git branch -v | + | |
| - | * 0.6.x 170eb10 Initial commit. | + | * v2.1.x 170eb10 Initial commit. |
| master 170eb10 Initial commit. | master 170eb10 Initial commit. | ||
| + | | ||
| + | I comandi per cancellare il branch " | ||
| - | I comandi per cancellare il branch | + | git branch |
| + | git push origin :v2.1.x | ||
| - | | + | E' opportuno che il nome di un branch non coincida con il nome di un tag. Se per sbaglio questo è accaduto, e vogliamo cancellare il branch, dopo aver dato //git branch -d nome-branch//, |
| - | git push origin :branchname | + | |
| - | E' opportuno che il nome di un branch | + | git push origin : |
| + | |||
| + | Al contrario, nel caso dei tag, dopo aver digitato | ||
| + | |||
| + | git push origin : | ||
| + | |||
| + | Ad un certo punto, dopo aver, ad esempio, implementato e testato nuove funzionalità, | ||
| + | |||
| + | git checkout master | ||
| + | git merge v2.1.x | ||
| - | git push origin : | + | Se invece vogliamo sostituire un branch, ad esempio master, con un altro, ad esempio dev, usiamo i comandi |
| - | Al contrario, nel caso dei tag, dopo aver digitato //git tag -d tagname// digitiamo | + | |
| + | git merge -s ours master | ||
| + | git checkout master | ||
| + | git merge dev | ||
| - | git push origin : | ||
| ===== Per approfondire ===== | ===== Per approfondire ===== | ||
| Linea 105: | Linea 124: | ||
| Nell' | Nell' | ||
| - | * [[http:// | + | * [[http:// |
| * [[http:// | * [[http:// | ||
| * [[https:// | * [[https:// | ||
| Buon controllo di versione a tutti! | Buon controllo di versione a tutti! | ||
git_guida_pratica.1393770741.txt.gz · Ultima modifica: 2014/03/02 15:32 da mickele
