diff options
| -rw-r--r-- | introduzione_a_git.rest | 327 |
1 files changed, 183 insertions, 144 deletions
diff --git a/introduzione_a_git.rest b/introduzione_a_git.rest index d60b208..c8d8176 100644 --- a/introduzione_a_git.rest +++ b/introduzione_a_git.rest @@ -52,7 +52,7 @@ GIT .. class:: handout - Con ``git status`` possiamo vedere che git si è accorto dell'esistenza + Con ``git status`` possiamo vedere che git si è accorto dell'esistenza di alcuni file, ma sono *untracked*, ovvero non considerati dal controllo delle revisioni. @@ -109,7 +109,7 @@ Altre mod :: $ cat > greeter/__init__.py - from greeter import Greeter + from .greeter import Greeter $ git status # On branch master # @@ -258,7 +258,7 @@ Iniziamo a lavorarci (1) """ """ def greet(self): - print "Hello World!" + print("Hello World!") Iniziamo a lavorarci (2) ------------------------ @@ -275,22 +275,61 @@ Iniziamo a lavorarci (2) if __name__ == '__main__': main() -Diamo in pasto a git --------------------- +Diamo in pasto a git (1) +------------------------ .. class:: handout E vediamo di nuovo il workflow quotidiano: aggiungiamo le modifiche - fatte alla staging area con ``git add`` per poi darle in pasto - a ``git commit``. + fatte alla staging area; questa volta aggiungiamo l'opzione ``-p`` + a ``git add``, in modo da verificare pezzo per pezzo che modifiche + stiamo aggiungendo. + +:: - In questo caso anziché usare un editor per descrivere il commit - ci accontentiamo di una descrizione breve, passata per comodità - con l'opzione ``-m``. + $ git add -p greeter.py greeter/greeter.py + diff --git a/greeter.py b/greeter.py + index b102561..15faef1 100755 + --- a/greeter.py + +++ b/greeter.py + @@ -1,7 +1,10 @@ + #!/usr/bin/env python3 + + +import greeter + + + def main(): + - pass + + grt = greeter.Greeter() + + grt.greet() + + if __name__ == '__main__': main() + + Stage this hunk [y,n,q,a,d,/,s,e,?]? y + + diff --git a/greeter/greeter.py b/greeter/greeter.py + index 310fd1e..d4c4273 100644 + --- a/greeter/greeter.py + +++ b/greeter/greeter.py + @@ -1,2 +1,5 @@ + class Greeter: + """ """ + + + + def greet(self): + + print("Hello World!") + Stage this hunk [y,n,q,a,d,/,e,?]? y + + +Diamo in pasto a git (2) +------------------------ + +.. class:: handout + + E quindi possiamo creare il commit; in questo caso anziché usare un + editor per descrivere il commit ci accontentiamo di una descrizione + breve, passata per comodità con l'opzione ``-m``. :: - $ git add greeter.py greeter/greeter.py $ git commit -m 'Generic greetings' [master adfbc73] Generic greetings 2 files changed, 8 insertions(+), 1 deletion(-) @@ -355,32 +394,35 @@ gitignore .. class:: handout - Lavorando al progetto capita che si generino file che si vogliono - ignorare, ad esempio i risultati di compilazione: basta aggiungerli - al file ``.gitignore`` perché non vengano considerati. + Lavorando al progetto capita che si generino file che si vogliono + ignorare, ad esempio i risultati di compilazione o i file nascosti + dell'editor: basta aggiungerli al file ``.gitignore`` perché non + vengano considerati. :: $ ./greeter.py Hello World! $ git status - # On branch master - # Untracked files: - # (use "git add <file>..." to include in what will be committed) - # - # greeter/__init__.pyc - # greeter/greeter.pyc + On branch master + Untracked files: + (use "git add <file>..." to include in what will be committed) + + .greeter.py.swp + greeter/__pycache__/ + nothing added to commit but untracked files present (use "git add" to track) - $ echo "*.pyc" >> .gitignore + $ echo "*.sw?" >> .gitignore + $ echo "__pycache__" >> .gitignore $ git status - # On branch master - # Untracked files: - # (use "git add <file>..." to include in what will be committed) - # - # .gitignore + On branch master + Untracked files: + (use "git add <file>..." to include in what will be committed) + + .gitignore nothing added to commit but untracked files present (use "git add" to track) $ git add .gitignore - $ git commit -m '.gitignore: ignore .pyc files.' + $ git commit -m '.gitignore: ignore generated files. Aggiungere funzionalità ----------------------- @@ -411,50 +453,8 @@ Aggiungere funzionalità :: $ git add greeter/greeter.py - - -Che bel sole là fuori! ----------------------- - -.. class:: handout - - Anche se non abbiamo finito di implementare la nuova feature, - ci accorgiamo che c'è un bel sole e vogliamo andare a lavorarci - al parco (o dobbiamo correre a prendere il treno), e vogliamo - spostarci a lavorare sul portatile. - - Niente di più semplice: committiamo quel che abbiam fatto fin'ora, - cloniamo il repository su una chiavetta usb, e possiamo lavorare - dal portatile senza problemi. - -:: - $ git commit -m 'greeter/greeter.py: support for multiple greetees.' - $ cd $USB_KEY - $ git clone /home/[...]/greeter - Cloning into 'greeter'... - done. - $ cd greeter - $ git branch - * people - $ git branch -a - * people - remotes/origin/HEAD -> origin/people - remotes/origin/master - remotes/origin/people -.. class:: handout - - Con il comando ``git branch`` scopriamo che il clone ha già preso - come branch corrente quello che stavamo usando sul primo repository, - e con l'opzione ``-a`` possiamo vedere tutti i branch che abbiamo - a disposizione. - - Con git ogni copia comprende tutta la storia di tutti i branch - disponibili nel repository che si è copiato, e quindi è possibile - continuare a lavorare anche se ci si dovesse trovare senza connessione - ad internet. Inoltre ogni clone del repository è un backup completo, - utile nel caso in cui succeda qualcosa ad un hard disk. Aggiunte successive (1) ----------------------- @@ -490,77 +490,6 @@ Aggiunte successive (1) [people 59b9d39] greeter.py: support for a custom greetee. 1 file changed. 6 insertions(+). 1 deletion(-) -Ora di rientrare (1) --------------------- - -.. class:: handout - - Riattacchiamo la chiavetta al PC, cerchiamo di riportare le modifiche - dal repository su chiavetta al repository su hard disk con - il comando ``git push``. - -:: - - $ git push - Counting objects: 5, done. - Delta compression using up to 2 threads. - Compressing objects: 100% (3/3), done. - Writing objects: 100% (3/3), 487 bytes, done. - Total 3 (delta 0), reused 0 (delta 0) - Unpacking objects: 100% (3/3), done. - remote: error: refusing to update checked out branch: refs/heads/people - remote: error: By default, updating the current branch in a non-bare repository - remote: error: is denied, because it will make the index and work tree inconsistent - remote: error: with what you pushed, and will require 'git reset --hard' to match - remote: error: the work tree to HEAD. - remote: error: - remote: error: You can set 'receive.denyCurrentBranch' configuration variable t - remote: error: 'ignore' or 'warn' in the remote repository to allow pushing int - remote: error: its current branch; however, this is not recommended unless you - remote: error: arranged to update its work tree to match what you pushed in som - remote: error: other way. - remote: error: - remote: error: To squelch this message and still keep the default behaviour, se - remote: error: 'receive.denyCurrentBranch' configuration variable to 'refuse'. - To /home/[...]/greeter/ - ! [remote rejected] people -> people (branch is currently checked out) - error: failed to push some refs to '/home/[...]/greeter/' - -Ora di rientrare (2) --------------------- - -.. class:: handout - - C'è un problema: git non permette di fare push che dovrebbero modificare - ciò che c'è nella *working copy* dell'altro repository; una soluzione - sarebbe richiedere l'aggiornamento con il comando ``git pull`` - dal repository sul PC, ma richiede un po' di configurazione. - Per ora usiamo una soluzione veloce: - -:: - - $ cd /home/[...]/greeter/ - $ git checkout master - $ cd - - $USB_KEY/greeter - $ git push - Counting objects: 5, done. - Delta compression using up to 2 threads. - Compressing objects: 100% (3/3), done. - Writing objects: 100% (3/3), 487 bytes, done. - Total 3 (delta 0), reused 0 (delta 0) - Unpacking objects: 100% (3/3), done. - To /home/[...]/greeter/ - d78d340..59b9d39 people -> people - $ git log - commit 59b9d3971db8cb872c798b215365b22fb20aa5a7 - [...] - $ cd /home/[...]/greeter/ - $ git checkout people - Switched to branch 'people' - $ git log - commit 59b9d3971db8cb872c798b215365b22fb20aa5a7 - Bugfixing della versione stabile -------------------------------- @@ -596,13 +525,13 @@ Reintegriamo in master (1) .. class:: handout Adesso che la funzionalità è completa possiamo reintegrarla nel branch - master: con ``gitk -a`` possiamo vedere la situazione attuale. + master: con ``gitk --all`` possiamo vedere la situazione attuale. :: $ git checkout people Switched to branch 'people' - $ gitk -a + $ gitk --all .. figure:: images/gitk01.png @@ -638,7 +567,7 @@ Reintegriamo in master (2) commit 5a23f44b8492f41f6a4834b959111b924efa905c [...] commit 2229a1833b2dd00922978140d5b7e16688408ee1 - $ gitk -a + $ gitk --all .. figure:: images/gitk02.png @@ -729,7 +658,7 @@ Reintegriamo in master (4) $ git log commit ca91dc9944e003ff47ec58464f3ebbb2ffdb8cfa [...] - $ gitk -a + $ gitk --all .. figure:: images/gitk03.png @@ -752,6 +681,116 @@ Reintegriamo in master (5) .. figure:: images/gitk04.png +Lavoriamo con altri +------------------- + +.. class:: handout + + Un amico si offre di aiutarci nello sviluppo: vogliamo passargli + una copia del repository + + Niente di più semplice: colleghiamo un disco esterno, da quello + cloniamo il repository e il nostro amico potrà lavorare su quello. + +:: + + $ cd $USB_DISK + $ git clone /home/[...]/greeter + Cloning into 'greeter'... + done. + $ cd greeter + $ git branch + * master + $ git branch -a + * master + remotes/origin/HEAD -> origin/master + remotes/origin/master + remotes/origin/people + +.. class:: handout + + Con il comando ``git branch`` scopriamo che il clone ha già preso + come branch corrente quello che stavamo usando sul primo repository, + e con l'opzione ``-a`` possiamo vedere tutti i branch che abbiamo + a disposizione. + + Con git ogni copia comprende tutta la storia di tutti i branch + disponibili nel repository che si è copiato, e quindi è possibile + continuare a lavorare anche se ci si dovesse trovare senza connessione + ad internet. Inoltre ogni clone del repository è un backup completo, + utile nel caso in cui succeda qualcosa ad un hard disk. + +Ora di rientrare (1) +-------------------- + +.. class:: handout + + Il nostro amico ci riporta l'hard disk, lo ricolleghiamo al pc e + cerchiamo di riportare le modifiche dal repository esterno al + nostro iniziale con ``git push``, e ci accorgiamo però di un problema. + +:: + + $ git push + Counting objects: 5, done. + Delta compression using up to 2 threads. + Compressing objects: 100% (3/3), done. + Writing objects: 100% (3/3), 487 bytes, done. + Total 3 (delta 0), reused 0 (delta 0) + Unpacking objects: 100% (3/3), done. + remote: error: refusing to update checked out branch: refs/heads/people + remote: error: By default, updating the current branch in a non-bare repository + remote: error: is denied, because it will make the index and work tree inconsistent + remote: error: with what you pushed, and will require 'git reset --hard' to match + remote: error: the work tree to HEAD. + remote: error: + remote: error: You can set 'receive.denyCurrentBranch' configuration variable t + remote: error: 'ignore' or 'warn' in the remote repository to allow pushing int + remote: error: its current branch; however, this is not recommended unless you + remote: error: arranged to update its work tree to match what you pushed in som + remote: error: other way. + remote: error: + remote: error: To squelch this message and still keep the default behaviour, se + remote: error: 'receive.denyCurrentBranch' configuration variable to 'refuse'. + To /home/[...]/greeter/ + ! [remote rejected] people -> people (branch is currently checked out) + error: failed to push some refs to '/home/[...]/greeter/' + +Ora di rientrare (2) +-------------------- + +.. class:: handout + + C'è un problema: git non permette di fare push che dovrebbero modificare + ciò che c'è nella *working copy* dell'altro repository; una soluzione + sarebbe richiedere l'aggiornamento con il comando ``git pull`` + dal repository sul PC, ma richiede un po' di configurazione. + Per ora usiamo una soluzione veloce: + +:: + + $ cd /home/[...]/greeter/ + $ git checkout master + $ cd - + $USB_KEY/greeter + $ git push + Counting objects: 5, done. + Delta compression using up to 2 threads. + Compressing objects: 100% (3/3), done. + Writing objects: 100% (3/3), 487 bytes, done. + Total 3 (delta 0), reused 0 (delta 0) + Unpacking objects: 100% (3/3), done. + To /home/[...]/greeter/ + d78d340..59b9d39 people -> people + $ git log + commit 59b9d3971db8cb872c798b215365b22fb20aa5a7 + [...] + $ cd /home/[...]/greeter/ + $ git checkout people + Switched to branch 'people' + $ git log + commit 59b9d3971db8cb872c798b215365b22fb20aa5a7 + Un bel backup ------------- |