1
0

15 Ревизии 1cfaac4ab8 ... 75118c32a2

Автор SHA1 Съобщение Дата
  Denis Bitouzé 75118c32a2 Nom de branche en « span code » plutôt qu'entre double quotes преди 8 години
  Denis Bitouzé 9fe9411cd5 Double quotes remplacés par des guillemets français преди 8 години
  Julien Dehos ec5a9c20f3 merge pull request Denis преди 8 години
  Julien Dehos 5b3d820907 formatage liste преди 8 години
  Julien Dehos 1fc824d236 Merge branch 'master' of https://gogs.univ-littoral.fr/jdehos/tutoriel_git преди 8 години
  jdehos 6e24c601a8 Merge branch 'master' of dverhaghe/fork_tutogit_julien into master преди 8 години
  Julien Dehos b26643f174 menage преди 8 години
  Dominique Verhaghe 0ad2f84a71 sources mail преди 8 години
  Julien Dehos 5efcba574b update css преди 8 години
  Dominique Verhaghe d0065bf263 Merge remote-tracking branch 'upstream/master' преди 8 години
  Julien Dehos 08c24751cd lien page d'accueil преди 8 години
  Julien Dehos c502ef23b7 maj du lien vers le dépôt преди 8 години
  Dominique Verhaghe 4e37e373b4 ajout sources authentification преди 8 години
  root 48e28e2a79 relecture преди 8 години
  Julien Dehos b095be2a99 correction serveurs publics gogs преди 8 години
променени са 9 файла, в които са добавени 47 реда и са изтрити 43 реда
  1. 1 0
      .gitignore
  2. 3 3
      branches.md
  3. 17 8
      depot_distant.md
  4. 7 7
      depot_local.md
  5. 4 5
      forks.md
  6. 7 8
      index.md
  7. 0 8
      style.html
  8. 5 0
      template.css
  9. 3 4
      template.html

+ 1 - 0
.gitignore

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

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

+ 17 - 8
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)

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

+ 4 - 5
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é.
 

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

+ 0 - 8
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>
-

+ 5 - 0
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%; }
 

+ 3 - 4
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>