.gitignore

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

branches.md

@@ -11,7 +11,7 @@ peuvent ensuite être fusionnées, abandonnées ou même supprimées.
 
 L'utilisation des branches est très naturelle avec Git et permet d'organiser le
 déroulement du projet. Souvent, on utilise une branche principale `master` qui
-"doit toujours fonctionner" et, pour chaque fonctionnalité à ajouter, on dérive
+« doit toujours fonctionner » et, pour chaque fonctionnalité à ajouter, on dérive
 une nouvelle branche que l'on fusionne ensuite dans le `master` une fois la
 fonctionnalité réalisée (ou partiellement réalisée) et testée.
 
@@ -147,7 +147,7 @@ supprimés sur le serveur seront de nouveau envoyés au prochain push).
 
 Souvent, on crée des commits au fur et à mesure, pour sauvegarder et partager
 les modifications. Mais pour certaines applications, on peut vouloir un graphe
-de commits "plus propre", où les commits doivent suivre une structure
+de commits « plus propre », où les commits doivent suivre une structure
 prédéterminée, ou au contraire les réorganiser a posteriori. Git offre des
 fonctionnalités pour cela : regrouper des commits, les déplacer, etc...  Ces
 fonctionnalités ne sont pas traitées dans ce tutoriel (voir la documentation
@@ -171,7 +171,7 @@ Résumé des commandes Git précédentes :
 
 Quelques conseils de méthode de travail :
 
-- Essayez d'avoir une branche `master` "qui marche tout le temps".
+- Essayez d'avoir une branche `master` « qui marche tout le temps ».
 - Pour chaque tâche du projet, créez une branche dédiée, que vous fusionnerez
   dans le `master` une fois les modifications commitées.
 - Utiliser des branches ne vaccine pas contre les conflits, donc pensez à faire

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
@@ -13,11 +13,20 @@ commit du serveur.
 
 Il existe des serveurs comme Github qui permettent d'héberger
 gratuitement des dépôts publics (visibles par tout le monde).
-Le serveur Gogs de l'université vous permet d'héberger des dépôts publics ou privés.
+Le serveur Gogs de l'université vous permet d'héberger des dépôts publics mais
+é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)
 
@@ -29,11 +38,11 @@ commits, dépôts actifs...) :
 ## Créer un dépôt sur un serveur Git
 
 Pour créer un nouveau dépôt distant, allez sur le site du serveur Gogs et
-cliquez "Nouveau dépôt". 
+cliquez « Nouveau dépôt ».
 
 ![](depot_distant_03.png)
 
-Entrez le nom du dépôt distant à créer, puis cliquez "Créer un dépôt".
+Entrez le nom du dépôt distant à créer, puis cliquez « Créer un dépôt ».
 
 ![](depot_distant_04.png)
 
@@ -46,7 +55,7 @@ localement. Attention, il y a une méthode plus simple que celle indiquée (cf.
 Le site du serveur Gogs vous permet de configurer différents paramètres
 concernant votre dépôt. Par exemple pour un dépôt privé, vous pouvez indiquer
 les personnes que vous autorisez à récupérer et à modifier le dépôt (cliquez
-"Paramètres" puis "Collaboration" puis entrez et ajoutez le login).
+« Paramètres » puis « Collaboration » puis entrez et ajoutez le login).
 
 ![](depot_distant_15.png)
 
@@ -55,7 +64,7 @@ les personnes que vous autorisez à récupérer et à modifier le dépôt (cliqu
 La commande `git clone ...` permet de récupérer un dépôt distant sur votre
 machine. C'est la méthode la plus simple pour récupérer un dépôt. 
 Pour éviter d'avoir à retaper votre login sans arrêt, pensez à l'ajouter après
-le "https://" lors du clone (vous pouvez également l'ajouter plus tard, dans le
+le « https:// » lors du clone (vous pouvez également l'ajouter plus tard, dans le
 fichier `.git/config`). 
 
 ![](depot_distant_06.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
@@ -168,7 +168,7 @@ De même, la commande `git rm` permet de supprimer un fichier versionné.
 
 ## Afficher l'historique des commits
 
-Faisons d'abord une modification "commitée" puis une autre non commitée.
+Faisons d'abord une modification « commitée » puis une autre non commitée.
 
 ![](depot_local_19.png)
 
@@ -185,7 +185,7 @@ On peut également le voir avec un client graphique comme `gitg`.
 
 ![](depot_local_21.png)
 
-Le "unstaged" correspond aux modifications courantes non commitées (`HEAD`).
+Le « unstaged » correspond aux modifications courantes non commitées (`HEAD`).
 
 ## Supprimer les modifications courantes
 
@@ -196,8 +196,8 @@ 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 
-ainsi dans un mode "détaché" (`HEAD` ne pointe plus sur un commit terminal).
+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)
 
@@ -223,7 +223,7 @@ facilement à un commit particulier.
 
 ## Supprimer des commits précédents
 
-La commande `git reset 13a...` place le `master` sur le commit "13a..." et
+La commande `git reset 13a...` place le `master` sur le commit « 13a... » et
 supprime tous les commits suivants **sans supprimer les modifications
 correspondantes**, qui sont alors regroupées dans l'état courant, non commité.
 
@@ -231,7 +231,7 @@ correspondantes**, qui sont alors regroupées dans l'état courant, non commité
 
 La commande `git reset --hard 13a...` est équivalente à la commande précédente
 sauf qu'elle **supprime les modifications correspondantes**.
-Les fichiers sont donc remis dans l'état du commit "13a...", et `master` et
+Les fichiers sont donc remis dans l'état du commit « 13a... », et `master` et
 `HEAD` pointent vers ce commit.
 
 ![](depot_local_checkout_05.svg)

forks.md

@@ -13,8 +13,7 @@ choisira ou non de les intégrer dans le dépôt initial (`upstream`).
 
 Le fork est un mode de fonctionnement très répandu dans le monde de
 l'open-source (Github entre autres).  Le serveur Gogs de l'université possède
-également une partie publique propice aux forks (cette partie publique est
-cependant réservée aux personnes identifiées à l'université).
+également une partie publique propice aux forks.
 
 Remarque : pour les intervenants réguliers et de confiance, il est plus simple
 de les autoriser à modifier directement le dépôt principal, en les ajoutant
@@ -165,11 +164,11 @@ Quelques conseils de méthode de travail :
 
 - Créez deux dépôts distants, l'un publique, l'autre privé.
 - Clonez le dépôt privé, faites-y quelques commits et pushez le tout.
-- Toujours dans le dépôt privé local, créez une branche "public", fusionnez-y
+- Toujours dans le dépôt privé local, créez une branche `public`, fusionnez-y
   le `master` et pushez-la sur le dépôt distant privé et sur le dépôt distant
 public.
 - Faites un nouveau commit dans le `master`, fusionnez-le dans la branche
-  "public" et pushez le tout.
-- Clonez le dépôt public et mettez-le à jour avec la branche "public" du dépôt
+  `public` et pushez le tout.
+- Clonez le dépôt public et mettez-le à jour avec la branche `public` du dépôt
   distant privé.
 

index.md

@@ -1,6 +1,6 @@
 ---
 title: "Introduction"
-date: 2016-03-25
+date: 2016-03-31
 ---
 
 ## À qui s'adresse ce tutoriel ?
@@ -36,21 +36,20 @@ en parallèle »
   communs ; les modifications de chacun sont retransmises aux autres ; les
 éventuels conflits sont détectés ».
 - **projets publics ou privés** : « je peux créer des projets publics, visibles
-  par tout le monde (ou uniquement par les personnes identifiées à
-l'université), et des projets privés, visibles et modifiables par les personnes
+  par tout le monde, et des projets privés, visibles et modifiables par les personnes
 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
 
-### Notion de "version" (commit)
+### Notion de « version » (commit)
 
-Un "projet Git" contient l'historique de toutes les modifications sauvegardées
-de chaque fichier.  On appelle "commit" un état sauvegardé de ces modifications
+Un « projet Git » contient l'historique de toutes les modifications sauvegardées
+de chaque fichier.  On appelle « commit » un état sauvegardé de ces modifications
 (une version du projet en quelque sorte).
 
 Généralement, on modifie le projet à partir de la version précédente et ansi de
@@ -70,7 +69,7 @@ On peut ensuite rassembler ces modifications en fusionnant les branches :
 ### Notion de dépôt (repository)
 
 On appelle dépôt tout l'historique des fichiers et des modifications de notre
-"projet Git", c'est-à-dire l'ensemble des commits.  
+« projet Git », c'est-à-dire l'ensemble des commits.
 
 Un dépôt peut être dupliqué et synchronisé sur différentes machines, ce qui
 permet de partager un projet et pouvoir travailler à plusieurs.  Git est un

style.html

@@ -1,8 +0,0 @@
-  <style type="text/css">
-      table          { margin: auto 0; }
-      table, th, td  { border-collapse: collapse; border: solid 1px black; padding: 3px; }
-      caption        { caption-side: bottom; }
-      body { background-color: white; } 
-      code { background-color: lightyellow; } 
-  </style>
-

template.css

@@ -3065,4 +3065,9 @@ img {
     margin-top: 10px;
     margin-bottom: 10px;
 }
+.row { margin-top: 20px; }
+h1 { font-size: 200%; }
+h2 { font-size: 175%; }
+h3 { font-size: 150%; }
+h4 { font-size: 125%; }
 

template.html

@@ -38,7 +38,8 @@ $endfor$
                 <span class="doc-title">Tutoriel Git</span>
                 <ul class="nav pull-right doc-info">
                     <li><p class="navbar-text"> <a href="https://gogs.univ-littoral.fr">Serveur Gogs de l'ULCO</a></p></li>
-                    <li><p class="navbar-text"> <a href="https://github.com/juliendehos/tutoriel_git">Dépôt Github</a></p></li>
+                    <li><p class="navbar-text"> <a href="https://www-lisic.univ-littoral.fr/~dehos">Page d'accueil</a></p></li>
+                    <li><p class="navbar-text"> <a href="https://gogs.univ-littoral.fr/jdehos/tutoriel_git">Dépôt</a></p></li>
                 </ul>
             </div>
         </div>
@@ -77,15 +78,13 @@ $endif$
 
 $body$
                 </div>
+            </div>
 
-                <div class="navbar navbar-static-top">
                     $if(date)$ 
                     <ul class="nav pull-right doc-info">
                         <li> <p class="navbar-text ">Dernière modification : $date$</p> </li>
                     </ul>
                     $endif$
-                </div>
-            </div>
         </div>
     </div>