root 8 lat temu
rodzic
commit
48e28e2a79
4 zmienionych plików z 13 dodań i 7 usunięć
  1. 1 0
      .gitignore
  2. 8 3
      depot_distant.md
  3. 2 2
      depot_local.md
  4. 2 2
      index.md

+ 1 - 0
.gitignore

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

+ 8 - 3
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,13 @@ 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 quatre sources d'authentification suivantes :  
+- La plate-forme [CALCULCO](https://www-calculco.univ-littoral.fr)  
+- Le portail ULCO  
+- Le serveur de mail du LISIC  
+- Le serveur de Mail du LMPA  
 
 ![](depot_distant_01.png)
 

+ 2 - 2
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)

+ 2 - 2
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