>
<>
<>
= Introduzione =
In questa pagina vengono mostrati gli strumenti di '''Git''' che rendono possibile il lavoro di più persone ad un progetto. Per fare questo verrà simulata in locale una situazione analoga a quella in cui si utilizzi un repository remoto.
Per poter seguire la seguente guida si presuppone:
* di aver creato il progetto '''gitproject''' come [[Programmazione/Git#creare|indicato]];
* di aver elaborato il progetto come mostrato nelle pagine sul [[Programmazione/Git/Commit|Commit]] e sul [[Programmazione/Git/Branch|Branching]].
Verranno create nuovi repository ('''gitproject_2''', '''gitproject_3''', ecc..) che simuleranno repositori locali, mentre '''gitproject''' simulerà il repository remoto. Saranno quindi passati in rassegna i metodi di sincronizzazione.
= Clonazione repository =
In questo esempio verrà creato il progetto locale '''gitproject_2''' sul quale verrà '''clonato''' il repository "remoto" '''gitproject'''.
0. Creare una nuova cartella in cui vogliamo creare il nuovo repository e spostarsi all'interno:{{{
mkdir ~/gitproject_2
cd ~/gitproject_2
}}}
0. Clonare il repository '''gitproject''' nella cartella corrente "'''.'''":{{{
git clone ~/gitproject .
}}}Il comando sarebbe stato del tutto analogo anche se '''gitproject''' si fosse trovato su di un server esterno al proprio pc.
0. Consultare il log:{{{
git lg
}}}che restituirà:{{{
* b92d7ff (HEAD -> master, origin/master, origin/HEAD) - Mario Rossi : Merge branch 'gp-1' (18 minuti fa)
|\
| * 05b43f8 (origin/gp-1) - Mario Rossi : Modificato codice per issue gp-1. (29 minuti fa)
* | 158633d - Mario Rossi : Aggiunta cartella documentazione. (22 minuti fa)
|/
* 5b235ad - Mario Rossi : Aggiunta data in stampa. (52 minuti fa)
* b7c1ae2 - Mario Rossi : Aggiunti sorgenti e Makefile (59 minuti fa)
* ba12845 - Mario Rossi : README aggiunto (85 minuti fa)
}}}Il log è '''quasi''' uguale a quello [[Programmazione/Git/Branch#log_master|originale]]. Si nota la presenza di altri branch:
* '''origin/master'''
* '''origin/HEAD'''
* '''origin/gp-1'''
Questi sono i branch del repository remoto, che sono materialmente quelli creati nel repository originale. '''origin''' è il nome di default che '''Git''' da a un repository remoto,.
0. Attraverso il comando '''remote''' elencare i repository remoti:{{{
git remote
}}}che restituirà:{{{
origin
}}}Allo stato attuale ne risulta uno solo, quello clonato.
{{{#!wiki note
'''Git''' puo avere più repository remoti associati al repository locale. Questo permette molta flessibilità, ma al momento verrà ignorato questo aspetto.
}}}
0. Attraverso il comando '''branch''' elencare i branch:{{{
git branch
}}}che risulterà:{{{
* master
}}}solamente un branch locale, '''master''', sincronizzato con il master remoto (più precisamente nel punto in cui punta HEAD remoto).
= Sincronizzazione manuale =
In questo esempio verrà creato il progetto "locale" '''gitproject_3''' nel quale verrà inizializzato il repository e in un secondo momento sarà sincronizzato manualmente con il repository "remoto" '''gitproject'''.
0. Creare una nuova cartella in cui vogliamo creare il nuovo repository e spostarsi all'interno:{{{
mkdir ~/gitproject_3
cd ~/gitproject_3
}}}
0. Inizializzare il repository:{{{
git init
}}}
0. Tramite il comando '''remote add''' aggiungere il repository remoto:{{{
git remote add origin ~/gitproject
}}}
0. Attraverso il comando '''remote''' elencare i repository remoti:{{{
git remote
}}}che restituirà:{{{
origin
}}}
0. Consultare il log:{{{
git lg
}}}il cui output sarà{{{
fatal: bad default revision 'HEAD'
}}}'''Il repository è vuoto!''' Questo perché è stato aggiunto il repository remoto, ma non è ancora stata fatta la sincronizzazione. Il comando:{{{
ls -altr
}}}mostra la seguente situazione dei file nella cartella:{{{
totale 12
drwxrwxr-x 3 mario mario 4096 feb 17 02:28 .
drwxrwxr-x 7 mario mario 4096 feb 17 02:28 .git
drwxr-x--- 29 mario mario 4096 feb 17 02:29 ..
}}}
Per poter sincronizzare il repository locale con quello remoto, occorre scaricare le modifiche. Questo viene fatto in due modi.
== Primo metodo - Fetch + Merge ==
Si vuole prendere il contenuto del repository remoto e sincronizzare quello locale, in maniera da poter prendere le modifiche remote. Il comando '''fetch''' permette di scaricare in locale le modifiche remote, ma '''NON''' di applicarle.
0. Scaricare localmente le modifiche remote:{{{
git fetch origin
}}}Il comando restituirà:{{{
remote: Enumerazione degli oggetti in corso: 23, fatto.
remote: Conteggio degli oggetti in corso: 100% (23/23), fatto.
remote: Compressione oggetti in corso: 100% (15/15), fatto.
remote: 23 oggetti totali (7 delta), 0 riutilizzati (0 delta), 0 riutilizzati nel file pack
Decompressione degli oggetti in corso: 100% (23/23), 1.91 KiB | 325.00 KiB/s, fatto.
Da /home/mario/gitproject
* [nuovo branch] gp-1 -> origin/gp-1
* [nuovo branch] master -> origin/master
}}}
0. Il controllo dei file: {{{
ls -altr
}}}il cui output sarà:{{{
totale 12
drwxrwxr-x 3 mario mario 4096 feb 17 02:28 .
drwxr-x--- 29 mario mario 4096 feb 17 02:29 ..
drwxrwxr-x 8 mario mario 4096 feb 17 02:32 .git
}}}ci conferma che nonostante siano state scaricate le modifiche remote, la cartella risulta essere ancora vuota. Questo perchè le modifiche scaricate sono interne alla directory `.git` ma non è ancora stata eseguita la sincronizzazione del tutto.
0. Consultare il log:{{{
git lg
}}}il cui output è:{{{
* b92d7ff (origin/master) - Mario Rossi : Merge branch 'gp-1' (31 minuti fa)
|\
| * 05b43f8 (origin/gp-1) - Mario Rossi : Modificato codice per issue gp-1. (42 minuti fa)
* | 158633d - Mario Rossi : Aggiunta cartella documentazione. (35 minuti fa)
|/
* 5b235ad - Mario Rossi : Aggiunta data in stampa. (65 minuti fa)
* b7c1ae2 - Mario Rossi : Aggiunti sorgenti e Makefile (71 minuti fa)
* ba12845 - Mario Rossi : README aggiunto (2 ore fa)
}}}Ci sono i repository remoti, ma non quello locale su cui ci troviamo. E dato che in quello locale non è stato ancora fatto niente, la nostra directory e' vuota.
0. Effetuare il merge del branch locale con quello remoto:{{{
git merge origin/master
}}}
0. Ricontrollare il log:{{{
git lg
}}}il cui output ora sarà:{{{
* b92d7ff (HEAD -> master, origin/master) - Mario Rossi : Merge branch 'gp-1' (32 minuti fa)
|\
| * 05b43f8 (origin/gp-1) - Mario Rossi : Modificato codice per issue gp-1. (44 minuti fa)
* | 158633d - Mario Rossi : Aggiunta cartella documentazione. (36 minuti fa)
|/
* 5b235ad - Mario Rossi : Aggiunta data in stampa. (66 minuti fa)
* b7c1ae2 - Mario Rossi : Aggiunti sorgenti e Makefile (73 minuti fa)
* ba12845 - Mario Rossi : README aggiunto (2 ore fa)
}}}Adesso i due branch sono allineati (puntano allo stesso commit). Se vediamo il contenuto della cartella:{{{
ls -altr
}}}possiamo vedere che e' aggiornato:{{{
totale 32
drwxrwxr-x 2 mario mario 4096 feb 17 02:36 src
-rw-rw-r-- 1 mario mario 16 feb 17 02:36 README
-rw-rw-r-- 1 mario mario 258 feb 17 02:36 Makefile
-rw-rw-r-- 1 mario mario 10 feb 17 02:36 .gitignore
drwxrwxr-x 8 mario mario 4096 feb 17 02:36 .git
drwxrwxr-x 2 mario mario 4096 feb 17 02:36 doc
drwxrwxr-x 5 mario mario 4096 feb 17 02:36 .
drwxr-x--- 29 mario mario 4096 feb 17 02:36 ..
}}}
== Secondo metodo - Pull ==
Più rapido risulta l'utilizzo del comando '''pull''' che racchiude in se il '''fetch''' e il '''merge''' ed è il comando solitamente utilizzato in questi casi. Verrà creato un nuovo repository '''gitproject_4''' che funga da progetto locale.
0. Creare una nuova cartella per ospitare il repository '''gitproject_4''' e spostarsi all'interno:{{{
mkdir ~/gitproject_4
cd ~/gitproject_4
}}}
0. Inizializzare il repository:{{{
git init
}}}
0. Aggiungere il repository remoto:{{{
git remote add origin ~/gitproject
}}}
0. Quindi eseguire il '''pull''':{{{
git pull origin master
}}}che restituirà il seguente output:{{{
remote: Enumerazione degli oggetti in corso: 23, fatto.
remote: Conteggio degli oggetti in corso: 100% (23/23), fatto.
remote: Compressione oggetti in corso: 100% (15/15), fatto.
remote: 23 oggetti totali (7 delta), 0 riutilizzati (0 delta), 0 riutilizzati nel file pack
Decompressione degli oggetti in corso: 100% (23/23), 1.91 KiB | 325.00 KiB/s, fatto.
Da /home/mario/gitproject
* branch master -> FETCH_HEAD
* [nuovo branch] master -> origin/master
}}}
0. Verificare il log:{{{
git lg
}}}che risulta essere:{{{
* b92d7ff (HEAD -> master, origin/master) - Mario Rossi : Merge branch 'gp-1' (38 minuti fa)
|\
| * 05b43f8 - Mario Rossi : Modificato codice per issue gp-1. (49 minuti fa)
* | 158633d - Mario Rossi : Aggiunta cartella documentazione. (42 minuti fa)
|/
* 5b235ad - Mario Rossi : Aggiunta data in stampa. (72 minuti fa)
* b7c1ae2 - Mario Rossi : Aggiunti sorgenti e Makefile (79 minuti fa)
* ba12845 - Mario Rossi : README aggiunto (2 ore fa)
}}}
È stato quindi creato un repository e sincronizzato il suo contenuto con un repository remoto.
= Pubblicazione modifiche locali =
Verranno qui effettuate delle modifiche nel repository locale '''gitproject_4'''.
0. Modificare il file `~/gitproject_4/src/main.cpp`, digitando:{{{
sed -i '4 a \\tstd::cout << "Modifica da un altro repository" << std::endl;' src/main.cpp
}}}
0. Verificare il contenuto del file: {{{
cat src/main.cpp
}}}che risulterà essere:{{{
#include
int main() {
std::cout << "sab 17 feb 2024, 01:26:54, CET: Benvenuti su Git!" << std::endl;
std::cout << "Issue gp-1 implementata" << std::endl;
std::cout << "Modifica da un altro repository" << std::endl;
return 0;
}
}}}
0. Applicare la modifica effettuando il commit:{{{
git commit -a -m "Aggiunta riga di output."
}}}
0. Consultare il log:{{{
git lg
}}}il cui output ora sarà:{{{
* c1648d4 (HEAD -> master) - Mario Rossi : Aggiunta riga di output. (11 secondi fa)
* b92d7ff (origin/master) - Mario Rossi : Merge branch 'gp-1' (41 minuti fa)
|\
| * 05b43f8 - Mario Rossi : Modificato codice per issue gp-1. (52 minuti fa)
* | 158633d - Mario Rossi : Aggiunta cartella documentazione. (45 minuti fa)
|/
* 5b235ad - Mario Rossi : Aggiunta data in stampa. (75 minuti fa)
* b7c1ae2 - Mario Rossi : Aggiunti sorgenti e Makefile (82 minuti fa)
* ba12845 - Mario Rossi : README aggiunto (2 ore fa)
}}}È stato creato un nuovo commit e dal log possiamo vedere che i due branch master, quello locale e quello remoto, non sono più (ovviamente) allineati.
== Push ==
Per inviare le modifiche al repository remoto occorre utilizzare il comando '''push''', specificando sempre il repository remoto e i branch da voler sincronizzare. In questo modo verranno mandate le modifiche nel repository in modo tale che gli altri utenti, una volta sincronizzati con quello remoto, possano percepire le modifiche avvenute.
0. Effettuare il '''push''':{{{
git push origin master
}}}questo sarà l'output visualizzato:{{{
Enumerazione degli oggetti in corso: 7, fatto.
Conteggio degli oggetti in corso: 100% (7/7), fatto.
Compressione delta in corso, uso fino a 8 thread
Compressione oggetti in corso: 100% (3/3), fatto.
Scrittura degli oggetti in corso: 100% (4/4), 395 byte | 395.00 KiB/s, fatto.
4 oggetti totali (2 delta), 0 riutilizzati (0 delta), 0 riutilizzati nel file pack
To /home/user/gitproject
f61b2e2..0ed9a58 master -> master
}}}Tuttavia si potrebbero visualizzare i seguenti '''messaggi di errore''':{{{
remote: error: refusing to update checked out branch: refs/heads/master
remote: error: Per impostazione predefinita, l'aggiornamento del branch corrente
remote: in un repository non spoglio è negato, perché renderebbe l'indice
remote: e l'albero di lavoro inconsistenti con i dati di cui si è eseguito
remote: il push e richiederebbe 'git reset --hard' per ripristinare la
remote: corrispondenza dell'albero di lavoro con HEAD.
remote:
remote: Puoi impostare la variabile di configurazione
remote: 'receive.denyCurrentBranch' a 'ignore' o 'warn' nel repository
remote: remoto per consentire il push nel branch corrente; ciò nonostante,
remote: questo non è raccomandato a meno che tu non provveda ad aggiornare
remote: il suo albero di lavoro in modo che corrisponda a ciò di cui hai
remote: eseguito il push in qualche altro modo.
remote:
remote: Per non visualizzare più questo messaggio e mantenere comunque
remote: il comportamento predefinito, imposta la variabile di
remote: configurazione 'receive.denyCurrentBranch' a 'refuse'.
To /home/mario/gitproject
! [remote rejected] master -> master (branch is currently checked out)
error: push di alcuni riferimenti su '/home/mario/gitproject' non riuscito
}}}Questo perche' il nostro repository remoto non e' di tipo ''bare''. Al momento verrà ignorato questo avviso.
0. Per poter ovviare al problema digitare il seguente comando:{{{
git config --global receive.denyCurrentBranch ignore
}}}
0. Effettuare nuovamente il push:{{{
git push origin master
}}}
0. Quando non è piu' necessario settare lo stesso valore a '''refuse''':{{{
git config --global receive.denyCurrentBranch refuse
}}}per ripristinare lo stato originale.
== Verifica ==
Verificare che tutto sia avvenuto nel modo corretto utilizzando un repository creato in precedenza.
0. Spostarsi nella directory del repository '''gitproject_3''':{{{
cd ~/gitproject_3
}}}
0. Effettuare il pull per risincronizzarsi col server remoto, sul quale sono state apportate le modifche sviluppate sul '''gitproject_4''':{{{
git pull origin master
}}}Verrà visualizzato il seguente output:{{{
remote: Enumerazione degli oggetti in corso: 7, fatto.
remote: Conteggio degli oggetti in corso: 100% (7/7), fatto.
remote: Compressione oggetti in corso: 100% (3/3), fatto.
remote: 4 oggetti totali (2 delta), 0 riutilizzati (0 delta), 0 riutilizzati nel file pack
Decompressione degli oggetti in corso: 100% (4/4), 375 byte | 375.00 KiB/s, fatto.
Da /home/mario/gitproject
* branch master -> FETCH_HEAD
b92d7ff..c1648d4 master -> origin/master
Aggiornamento di b92d7ff..c1648d4
Fast-forward
src/main.cpp | 1 +
1 file changed, 1 insertion(+)
}}}
0. Controllare il log:{{{
git lg
}}}che risulta essere:{{{
* c1648d4 (HEAD -> master, origin/master) - Mario Rossi : Aggiunta riga di output. (9 minuti fa)
* b92d7ff - Mario Rossi : Merge branch 'gp-1' (50 minuti fa)
|\
| * 05b43f8 (origin/gp-1) - Mario Rossi : Modificato codice per issue gp-1. (61 minuti fa)
* | 158633d - Mario Rossi : Aggiunta cartella documentazione. (54 minuti fa)
|/
* 5b235ad - Mario Rossi : Aggiunta data in stampa. (84 minuti fa)
* b7c1ae2 - Mario Rossi : Aggiunti sorgenti e Makefile (2 ore fa)
* ba12845 - Mario Rossi : README aggiunto (2 ore fa)
}}}I repository risultano allineati.
= Ulteriori risorse =
* [[Programmazione/Git|Guida a Git]]
----
CategoryProgrammazione