branches (pas fini)

depot_distant.md

@@ -122,72 +122,6 @@ gérer vos dépôts distants.
 - récupérez les modifications du serveur avec `git pull`
 - faites un `git pull` avant d'envoyer vos nouveaux commits sur le serveur (`git push`)
 
-## Exercice
-
-TODO
-
-* * * * *
-
-## Branches (travailler en équipe)
-
-TODO
-
-## Afficher les branches 
-git log --graph --all --oneline --decorate
-
-## Créer une nouvelle branche locale
-
-## Changer de branche
-
-## Fusionner des branches
-
-## Envoyer une branche sur un dépôt distant
-
-## Afficher les branches distantes
-
-## Terminer une branche locale
-
-## Terminer une branche distante
-
-## Supprimer un commit déjà pushé (DANGER !!!)
-git reset --hard e6c8e8e
-git push origin HEAD:master -f
-git reset --hard e6c8e8e
-
-![](branche_01.png)
-![](branche_02.png)
-![](branche_03.png)
-![](branche_04.png)
-![](branche_05.png)
-![](branche_06.png)
-![](branche_07.png)
-![](branche_08.png)
-![](branche_09.png)
-![](branche_10.png)
-![](branche_11.png)
-![](branche_12.png)
-![](branche_13.png)
-![](branche_14.png)
-![](branche_15.png)
-![](branche_16.png)
-![](branche_17.png)
-![](branche_18.png)
-![](branche_19.png)
-![](branche_20.png)
-![](branche_21.png)
-
-## Résumé et méthode de travail
-
-Résumé des commandes git précédentes :
-
----|---|
-`git ` | |
-
-Quelques conseils de méthode de travail :
-
-- TODO
-
-
 ## Exercice
 
 TODO

index.md

@@ -9,15 +9,15 @@ output:
 # Introduction
 
 ## À qui s'adresse ce tutoriel ?
-- Objectif du tutoriel : apprendre à utiliser le système git et le [serveur
+- Objectif du tutoriel : apprendre à utiliser l'outil git et le [serveur
   gogs](https://gogs.univ-littoral.fr) mis en place par le
 [SCOSI](http://scosi.univ-littoral.fr/). 
 - Pré-requis : utilisation basique d'un ordinateur (et notamment du clavier).
 - Public visé : les développeurs au sens large (code latex, python, matlab, R,
-  java...)
+  java...) qui souhaitent journaliser et/ou partager du code.
 
 ## Qu'est-ce-que git et gogs ?
-- git : système de journalisation de code source décentralisé (alternative à
+- git : système décentralisé de journalisation de code source (alternative à
   mercurial, subversion, CVS...)
 - gogs : service d'hébergement de code source utilisable avec git (alternative
   à github, bitbucket...)

installation.md

@@ -31,22 +31,21 @@ Mac](http://git-scm.com/download/mac).
 ## Configuration
 
 Après avoir installé le client git, il faut configurer le nom et l'adresse
-e-mail de l'utilisateur (à faire une seule). Par exemple, en tapant les
-commandes consoles : 
+e-mail de l'utilisateur; par exemple, en tapant les commandes consoles : 
 
 ```
-$ git config --global user.name "Julien Dehos"
-$ git config --global user.email dehos@nimpe.org
+git config --global user.name "Julien Dehos"
+git config --global user.email dehos@nimpe.org
 ```
 
 On peut également configurer l'éditeur de texte et le proxy que le client git
-doit utiliser. Par exemple, en tapant les commandes consoles :
+doit utiliser; par exemple, en tapant les commandes consoles :
 
 ```
-$ git config --global core.editor emacs
-$ git config --global http.proxy http://user:pass@proxyhost:proxyport
+git config --global core.editor emacs
+git config --global http.proxy http://user:pass@proxyhost:proxyport
 ```
-ou alors en ajoutant des variables d'environnement (par exemple, dans le
+ou bien en ajoutant des variables d'environnement (par exemple, dans le
 `.bashrc`): 
 ```
 export EDITOR=emacs
@@ -57,15 +56,15 @@ export http_proxy=http://user:pass@proxyhost:proxyport
 
 Aide générale sur git :
 ```
-$ git help 
+git help 
 ```
 
 Aide sur une commande git :
 ```
-$ git help <commande git>
+git help <commande git>
 ```
 
-Voir également la section [références](#références).
+Voir également la section [références](index.html#références).
 
 ## Exercice