Barra laterale
programmazione:git:introduzione_a_git
Indice
Introduzione a Git
Autore: Fabio Di Matteo
Ultima revisione: 31/01/2016 - 18:34
Git è un sistema software di controllo di versione distribuito, creato da Linus Torvalds e adesso mantenuto da Junio Hamano. Di seguito vedremo i comandi piu' utilizzati nell'uso comune del software. (Letture consigliate: git - the simple guide)
Create e Clone
Qui vedremo come creare un repository e come scaricare un repository nel nostro computer.
| Descrizione | Comando |
|---|---|
| Configurazione globale del nome | git config –global user.name “Fabio DM” |
| Configurazione globale email | git config –global user.email “miaemail@server.it” |
| Elenca i parametri di configurazione | git config –list |
| Crea un nuovo repository | git init |
| Clonare un repository locale | git clone /percorso/del/repository |
| Clonare un reposity remoto | git clone username@host:/percorso/del/repository |
Aggiungere e rimuovere
| Descrizione | Comando |
|---|---|
| Controllare lo stato del repository | git status |
| Aggiungere cambiamenti a un file | git add <nomefile> |
| Aggiungere tutti i cambiamenti del repository | git add * |
| Rimuovere un file | git rm <nomefile> |
Commit e sincronizzazione
Quando si effettua una modifica al al codice si deve aggiornare il repository con una operazione di commit e in seguito si deve sincronizzare il repository on una operazione di pull. Ecco dunque come fare:
| Descrizione | Comando |
|---|---|
| Aggiunge origine da github | git remote add origin https://github.com/username/rails-girls.git |
| Commit dei cambiamenti | git commit -m “Una nostra etichetta del cambiamento” |
git commit -a -m “Una nostra etichetta del cambiamento” |
|
| Push dei nostri cambiamenti al repository remoto | git push -u origin master |
| Connettere il repository locale con uno remoto | git remote add origin <server> |
| Aggiornare il repository locale con i cambiamenti del remoto | git pull |
Branches
| Descrizione | Comando |
|---|---|
| Creare un nuovo branch | git checkout -b <nome del branch> |
| Selezionare il branch master | git checkout master |
| Cancellare un branch | git branch -d <nome del branch> |
| Inviare brunch al repository remoto | git push origin <nome del branch> |
Merge
| Descrizione | Comando |
|---|---|
| Unire cambiamenti da un'altro branch | git merge <nome del brunch> |
| Visionare i cambiamenti tra 2 branch | git diff <nome branch sorgente> <nome branch destinazione> |
Tagging
| Descrizione | Comando |
|---|---|
| Creare un tag | git tag <nome tag> <commit ID> |
| Ricavare i IDs | git log |
Restore
| Descrizione | Comando |
|---|---|
| Sostituire una copia funzionante con l'ultima da HEAD | git checkout – <nome del file> |
programmazione/git/introduzione_a_git.txt · Ultima modifica: 18/04/2018 - 15:48 (modifica esterna)
Strumenti Pagina
Ad eccezione da dove è diversamente indicato, il contenuto di questo wiki è soggetto alla seguente licenza: CC Attribution-Share Alike 4.0 International
