Merge branch 'master' of https://gogs.univ-littoral.fr/jdehos/tutoriel_git

.gitignore

@@ -1 +1,2 @@
 .*~
+*.html

depot_distant.md

@@ -1,7 +1,7 @@
 
 ---
 title: "Dépôt distant"
-date: 2016-03-25
+date: 2016-03-31
 ---
 
 Git permet de synchroniser un dépôt local avec un dépôt distant (sur un
@@ -17,8 +17,15 @@ Le serveur Gogs de l'université vous permet d'héberger des dépôts publics ma
 également des dépôts privés.
 Il dispose d'une page web vous permettant de gérer vos projets. Pour cela,
 allez à l'adresse
-[https://gogs.univ-littoral.fr](https://gogs.univ-littoral.fr) et entrez vos
-identifiants du portail ULCO :
+[https://gogs.univ-littoral.fr](https://gogs.univ-littoral.fr).  
+Vous pouvez automatiquement vous créer un compte en utilisant vos identifiant et mot
+de passe d'une des sources d'authentification suivantes :  
+- La plate-forme [CALCULCO](https://www-calculco.univ-littoral.fr).  
+- Le serveur mail de l'ULCO.  
+- Le serveur mail du LISIC.  
+- Le serveur mail du LMPA.
+
+Sur justification, des comptes extérieurs pourront également être créés.  
 
 ![](depot_distant_01.png)
 

depot_local.md

@@ -1,7 +1,7 @@
 
 ---
 title: "Dépôt local"
-date: 2016-03-25
+date: 2016-03-31
 ---
 
 L'élément de base d'un projet Git est le dépôt. Il s'agit simplement d'un
@@ -196,7 +196,7 @@ alors dans l'état du dernier commit (`master`).
 
 ## Revenir à un commit précédent (sans suppression)
 
-La commande `git checkout 7b3...` permet de revenir au commit "7b3...". On passe 
+La commande `git checkout 3ca...` permet de revenir au commit "3ca...". On passe 
 ainsi dans un mode "détaché" (`HEAD` ne pointe plus sur un commit terminal).
 
 ![](depot_local_checkout_02.svg)

index.md

@@ -1,6 +1,6 @@
 ---
 title: "Introduction"
-date: 2016-03-25
+date: 2016-03-31
 ---
 
 ## À qui s'adresse ce tutoriel ?
@@ -41,7 +41,7 @@ que j'indique ».
 
 ## Dans quels cas ne pas utiliser Git/Gogs ?
 - édition collaborative en temps-réel -> sharelatex
-- partage de fichiers "au plus simple" -> dropbox, serveur FTP/HTTP...
+- partage de fichiers "au plus simple" -> dropbox, seafile, serveur FTP/HTTP...
 - fichiers dans un format non textuel (word, excel, PDF...) 
 
 ## Concepts de base