menage Makefile

Makefile

@@ -1,32 +1,22 @@
-MD_FILES = index.md installation.md depot_local.md depot_distant.md branches.md forks.md  
-HTML_FILES = $(MD_FILES:.md=.html)
+.PHONY: all publish clean
 
-.PHONY: all clean publish
-
-all: tmp $(HTML_FILES) slides.html
-	@echo ok
-
-tmp :
-	mkdir -p tmp
-	cp ./templates/template.css images/*.png images/*.svg ./tmp/
-
-before.html: before.md
-	pandoc --css template.css -o $@ $<
-
-%.html: %.md before.html 
-	pandoc --template templates/template.html --css template.css --toc --toc-depth 2 --include-before before.html -o $@ $<
-	cp $@ tmp
-
-slides.md : $(MD_FILES)
-	cat before_slides.md $^ > $@
-
-slides.html: slides.md  
-	pandoc  --slide-level 2 --css slidy.css --template templates/template_slidy.html --toc --toc-depth 2 -t slidy -s -o $@ $<
-	cp $@ ./templates/slidy.css ./templates/slidy.js tmp
+all: 
+	$(MAKE) -C www
+	$(MAKE) -C installation
+	$(MAKE) -C branches
+	$(MAKE) -C depot_distant
+	$(MAKE) -C depot_local
+	$(MAKE) -C forks
 
 publish:
-	scp ./tmp/* yangra.univ-littoral.fr:public-html/enseignements/tutoriel_git/
+	scp tmp/* yangra.univ-littoral.fr:public-html/enseignements/tutoriel_git/
 
 clean:
-	rm -rf $(HTML_FILES) slides.md slides.html ./tmp
+	rm -rf tmp
+	$(MAKE) -C www clean
+	$(MAKE) -C installation clean
+	$(MAKE) -C branches clean
+	$(MAKE) -C depot_distant clean
+	$(MAKE) -C depot_local clean
+	$(MAKE) -C forks clean
 

before.md

@@ -1,9 +0,0 @@
-
-- [*version slides*](slides.html) 
-- [Introduction](index.html) 
-- [Installation et configuration](installation.html) 
-- [Dépôt local](depot_local.html) 
-- [Dépôt distant](depot_distant.html) 
-- [Branches](branches.html) 
-- [Forks](forks.html) 
-

before_slides.md

@@ -1,5 +0,0 @@
----
-title: "Tutoriel git"
-date: 2016-03-31
----
-

branches/Makefile

@@ -0,0 +1,14 @@
+
+.PHONY: all clean 
+
+all: ../tmp/branches.html ../tmp/branches_slides.html 
+	cp *.png *.svg ../tmp
+
+../tmp/branches.html: branches.md 
+	pandoc --template ../www/template.html --css template.css --toc --toc-depth 1 --include-before ../tmp/before.html -s -o $@ $<
+
+../tmp/branches_slides.html: branches.md 
+	pandoc --css slidy.css --template ../www/template_slidy.html --toc --toc-depth 1 -t slidy -s -o $@ $<
+
+clean:
+

branches.md

@@ -4,9 +4,7 @@ title: "Branches"
 date: 2016-03-25
 ---
 
-# Branches
-
-##
+* * * *
 
 Lorsque l'on fait des commits successifs, ceux-ci sont ajoutés les uns à la
 suite des autres, sur une même branche.  Git permet également, à partir d'un
@@ -21,7 +19,7 @@ fonctionnalité réalisée (ou partiellement réalisée) et testée.
 
 ![](branches_01.svg)
 
-## Afficher les branches 
+# Afficher les branches 
 
 La commande `git branch` permet d'afficher les branches.
 
@@ -39,7 +37,7 @@ Sur le graphe des commits, on indique la branche courante avec un `*`.
 
 ![](branches_02.svg)
 
-## Créer une nouvelle branche locale
+# Créer une nouvelle branche locale
 
 La command `git branch ...` permet de créer de nouvelles branches.
 
@@ -47,7 +45,7 @@ La command `git branch ...` permet de créer de nouvelles branches.
 
 ![](branches_03.svg)
 
-## Changer de branche
+# Changer de branche
 
 La commande `git checkout ...` permet de sélectionner une branche.
 
@@ -72,7 +70,7 @@ Le `master` est une branche comme les autres qu'on peut également sélectionner
 
 ![](branches_06.svg)
 
-## Fusionner des branches
+# Fusionner des branches
 
 Pour fusionner des branches, il faut d'abord sélectionner la branche qui doit
 recevoir les modifications puis utiliser la commande `git merge` en précisant
@@ -95,7 +93,7 @@ vérifier avec un `git log`...
 
 ![](branches_10.png)
 
-## Envoyer une branche sur un dépôt distant
+# Envoyer une branche sur un dépôt distant
 
 Lorsque l'on crée une branche, celle-ci est locale au dépôt. Pour la créer et 
 l'envoyer également sur le serveur, il faut utiliser la commande `git push
@@ -118,13 +116,13 @@ serveur.
 
 ![](branches_12.png)
 
-## Afficher les branches distantes
+# Afficher les branches distantes
 
 La commande `git ls-remote` permet de lister les branches distantes.
 
 ![](branches_15.png)
 
-## Terminer une branche locale
+# Terminer une branche locale
 
 Pour terminer une branche locale (c'est-à-dire supprimer l'étiquette
 correspondante dans le dépôt local), il faut d'abord sélectionner une autre
@@ -142,7 +140,7 @@ branche...
 
 ![](branches_10.svg)
 
-## Terminer une branche distante
+# Terminer une branche distante
 
 Pour terminer une branche distante (c'est-à-dire supprimer l'étiquette
 correspondante sur le serveur), il faut utiliser la commande `git push --delete
@@ -152,7 +150,7 @@ correspondante sur le serveur), il faut utiliser la commande `git push --delete
 
 ![](branches_11.svg)
 
-## Supprimer un commit déjà pushé (danger !!!)
+# Supprimer un commit déjà pushé (danger !!!)
 
 Généralement, vouloir supprimer un commit déjà envoyé sur le serveur est une
 mauvaise idée.  En effet, en plus de perdre les données sauvegardées, cela peut
@@ -165,7 +163,7 @@ supprimés sur le serveur seront de nouveau envoyés au prochain push).
 
 ![](branches_18.png)
 
-## Réécrire l'historique
+# Réécrire l'historique
 
 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
@@ -176,7 +174,7 @@ fonctionnalités ne sont pas traitées dans ce tutoriel (voir la documentation
 sur les `git rebase`).
 
 
-## Résumé 
+# Résumé 
 
 ---|---|
 `git branch` | affiche la liste des branches |
@@ -189,7 +187,7 @@ sur les `git rebase`).
 `git branch -d <branche>` | supprime une branche locale (enlève l'étiquette) |
 `git push --delete <remote> <branche>` | supprime une branche distante |
 
-## Conseils 
+# Conseils 
 
 - 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
@@ -197,7 +195,7 @@ sur les `git rebase`).
 - Utiliser des branches ne vaccine pas contre les conflits, donc pensez à faire
   quand même le point avec vos collègues régulièrement.
 
-## Exercice
+# Exercice
 
 - Clonez un dépôt distant.
 - Créez une nouvelle branche `b1`, faites quelques commits dans `b1` puis

depot_distant/Makefile

@@ -0,0 +1,14 @@
+
+.PHONY: all clean 
+
+all: ../tmp/depot_distant.html ../tmp/depot_distant_slides.html 
+	cp *.png *.svg ../tmp
+
+../tmp/depot_distant.html: depot_distant.md 
+	pandoc --template ../www/template.html --css template.css --toc --toc-depth 1 --include-before ../tmp/before.html -s -o $@ $<
+
+../tmp/depot_distant_slides.html: depot_distant.md 
+	pandoc --css slidy.css --template ../www/template_slidy.html --toc --toc-depth 1 -t slidy -s -o $@ $<
+
+clean:
+

depot_distant.md

@@ -4,9 +4,7 @@ title: "Dépôt distant"
 date: 2016-03-31
 ---
 
-# Dépôt distant
-
-##
+* * * *
 
 Git permet de synchroniser un dépôt local avec un dépôt distant (sur un
 serveur).  Ceci permet d'envoyer les commits locaux sur le serveur et,
@@ -33,7 +31,7 @@ commits, dépôts actifs...) :
 
 ![](depot_distant_02.png)
 
-## Créer un dépôt sur un serveur Git
+# 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 ».
@@ -63,7 +61,7 @@ les personnes que vous autorisez à récupérer et à modifier le dépôt (cliqu
 
 ![](depot_distant_15.png)
 
-## Cloner un dépôt distant vers un nouveau dépôt local
+# Cloner un dépôt distant vers un nouveau dépôt local
 
 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. 
@@ -73,7 +71,7 @@ fichier `.git/config`).
 
 ![](depot_distant_06.png)
 
-## Synchroniser un dépôt local existant vers un dépôt distant
+# Synchroniser un dépôt local existant vers un dépôt distant
 
 Si vous avez déjà créé et modifié un dépôt local... 
 
@@ -98,7 +96,7 @@ branche `master` du dépôt local).
 Ces deux commandes synchronisent le dépôt
 distant et le dépôt local ; il n'est plus nécessaire de les relancer ensuite.
 
-## Récupérer (tirer) les commits d'un dépôt distant
+# Récupérer (tirer) les commits d'un dépôt distant
 
 La commande `git pull` permet de récupérer les éventuelles modifications sur le
 serveur (par exemple envoyées par un collaborateur ou par vous-même depuis une
@@ -108,7 +106,7 @@ autre machine) et de les intégrer dans votre dépôt local.
 
 ![](depot_distant_08.svg)
 
-## Envoyer (pousser) les commits locaux sur un dépôt distant
+# Envoyer (pousser) les commits locaux sur un dépôt distant
 
 Après des commits locaux...
 
@@ -137,7 +135,7 @@ graphique.
 
 ![](depot_distant_11.png)
 
-## Résoudre des conflits
+# Résoudre des conflits
 
 Imaginons que vous avez modifié et commité un fichier, et que vous voulez
 l'envoyer sur le serveur. Pour cela, il faut d'abord faire un `git pull` avant
@@ -190,14 +188,14 @@ Une fois le fichier corrigé, vous pouvez commiter...
 
 ![](depot_distant_14b.svg)
 
-## Résumé 
+# Résumé 
 
 ---|---|
 `git clone` | récupère un dépôt distant |
 `git pull` | récupère les modifications du dépôt distant et les intègre dans le dépôt local |
 `git push` | envoie les commits du dépôt local sur le dépôt distant |
 
-## Conseils
+# Conseils
 
 - Utilisez la page
   [https://gogs.univ-littoral.fr](https://gogs.univ-littoral.fr) pour créer et
@@ -206,13 +204,13 @@ gérer vos dépôts distants.
 - Récupérez les modifications du serveur régulièrement (avec `git pull`).
 - Faites un `git pull` avant d'envoyer vos nouveaux commits sur le serveur (avec `git push`).
 
-## Exercice 1
+# Exercice 1
 
 - Créez un dépôt sur le serveur Gogs et récupérez-le dans un dépôt local.
 - Ajoutez/commitez/pushez quelques fichiers et vérifiez sur le site Gogs que
   les modifications sont bien sur le serveur.
 
-## Exercice 2
+# Exercice 2
 
 - Associez-vous à un ou deux collègues.
 - Créez un dépôt sur le serveur Gogs et ajoutez vos collègues comme collaborateurs.

depot_local/Makefile

@@ -0,0 +1,14 @@
+
+.PHONY: all clean 
+
+all: ../tmp/depot_local.html ../tmp/depot_local_slides.html 
+	cp *.png *.svg ../tmp
+
+../tmp/depot_local.html: depot_local.md 
+	pandoc --template ../www/template.html --css template.css --toc --toc-depth 1 --include-before ../tmp/before.html -s -o $@ $<
+
+../tmp/depot_local_slides.html: depot_local.md 
+	pandoc --css slidy.css --template ../www/template_slidy.html --toc --toc-depth 1 -t slidy -s -o $@ $<
+
+clean:
+

depot_local.md

@@ -4,9 +4,7 @@ title: "Dépôt local"
 date: 2016-03-31
 ---
 
-# Dépôt local
-
-## 
+* * * *
 
 L'élément de base d'un projet Git est le dépôt. Il s'agit simplement d'un
 dossier classique que l'on demande à Git de versionner (journaliser).
@@ -15,7 +13,7 @@ Un dépôt Git contient l'ensemble des commits (versions sauvegardées du projet
 On peut donc revenir à n'importe quelle version du projet. Généralement, on
 appelle `master` la dernière version sauvegardée et `HEAD` la version courante.
 
-## Initialiser un dépôt
+# Initialiser un dépôt
 
 Allez dans le dossier à versionner puis lancez la commande `git init`. 
 
@@ -26,7 +24,7 @@ ne voulez plus versionner votre dossier, il suffit de supprimer ce dossier.  Le
 reste du temps, ne touchez pas à ce dossier si vous n'êtes pas absolument
 sûr(e) de ce que vous faites.
 
-## Afficher l'état d'un dépôt
+# Afficher l'état d'un dépôt
 
 La commande `git status` affiche l'état courant du dépôt : nouveaux fichiers,
 fichiers modifiés, fichiers supprimés.  Cette commande est très sûre ; elle ne
@@ -36,7 +34,7 @@ peut rien casser.  N'hésitez donc pas à la lancer pour voir où vous en êtes.
 
 La commande `git ls-files` affiche la liste des fichiers versionnés.
 
-## Ajouter des fichiers dans le dépôt
+# Ajouter des fichiers dans le dépôt
 
 Il faut indiquer explicitement les fichiers que Git doit journaliser.  
 
@@ -72,7 +70,7 @@ on a pour l'instant qu'un état courant non validé.
 
 ![](depot_local_07.svg)
 
-## Valider les modifications (commit)
+# Valider les modifications (commit)
 
 Après avoir ajouté, modifié ou supprimé des fichiers, on peut valider les
 modifications, c'est-à-dire sauvegarder un état du projet (commit). Encore une
@@ -116,7 +114,7 @@ commit), qui correspond actuellement au `master` (dernier commit) et au `HEAD`
 
 ![](depot_local_11.svg)
 
-## Fichiers autogénérés et .gitignore
+# Fichiers autogénérés et .gitignore
 
 Git est très utile pour gérer des fichiers textes que l'on modifie
 régulièrement.  En revanche : 
@@ -176,7 +174,7 @@ Après ce `git commit`, on a un nouveau commit correspondant au `master` et au
 ![](depot_local_16.svg)
 
 
-## Renommer et supprimer des fichiers
+# Renommer et supprimer des fichiers
 
 La commande `git mv` permet de renommer un fichier versionné. Il ne faut pas
 utiliser la commande système (`mv`) car dans ce cas Git ne saura pas qu'il faut
@@ -197,7 +195,7 @@ De même, la commande `git rm` permet de supprimer un fichier versionné.
 ![](depot_local_18.svg)
 
 
-## Afficher l'historique des commits
+# Afficher l'historique des commits
 
 Faisons d'abord une modification « commitée » puis une autre non commitée.
 
@@ -222,14 +220,14 @@ On peut également le voir avec un client graphique comme `gitg`.
 
 Le « unstaged » correspond aux modifications courantes non commitées (`HEAD`).
 
-## Supprimer les modifications courantes
+# Supprimer les modifications courantes
 
 La commande `git checkout -- . ` supprime les modifications courantes. Le dépôt revient
 alors dans l'état du dernier commit (`master`).
 
 ![](depot_local_checkout_01.svg)
 
-## Revenir à un commit précédent (sans suppression)
+# Revenir à un commit précédent (sans suppression)
 
 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).
@@ -241,7 +239,7 @@ Au lieu d'utiliser le numéro de commit, on peut également utiliser les
 principal ou `git checkout HEAD~1` pour aller à 1 commit avant le commit
 courant...
 
-## Marquer un commit
+# Marquer un commit
 
 La commande `git tag` permet d'étiqueter des commits.
 
@@ -258,7 +256,7 @@ facilement à un commit particulier.
 
 ![](depot_local_checkout_03b.svg)
 
-## Supprimer des commits précédents
+# Supprimer des commits précédents
 
 La commande `git reset 13a...` place le `master` sur le commit « 13a... » et
 supprime tous les commits suivants **sans supprimer les modifications
@@ -275,7 +273,7 @@ Les fichiers sont donc remis dans l'état du commit « 13a... », et `master
 
 ![](depot_local_checkout_05.svg)
 
-## Résumé 
+# Résumé 
 
 ---|---|
 `git init` | initialise le dossier courant (nouveau dépôt Git) |
@@ -294,7 +292,7 @@ Les fichiers sont donc remis dans l'état du commit « 13a... », et `master
 `git reset <commit>` | supprime des commits et regroupe les modifications correspondantes dans l'état courant|
 `git reset --hard <commit>` | supprime des commits ainsi que les modifications correspondantes|
 
-## Conseils 
+# Conseils 
 
 - Privilégiez les petits dépôts, correspondant à différents travaux, plutôt
   qu'un gros dépôt regroupant tous vos travaux de l'année.
@@ -302,7 +300,7 @@ Les fichiers sont donc remis dans l'état du commit « 13a... », et `master
 - Évitez de commiter un projet cassé (par exemple, du code qui ne compile pas).
 - Ne versionnez pas les fichiers auto-générés.
 
-## Exercice
+# Exercice
 
 - Créez un nouveau dépôt local, ajoutez des fichiers et faites quelques
   modifications+commits ; affichez l'état du dépôt à chaque étape.