From a11e862fefbf61bc6a9cf170e49444315a9b48d8 Mon Sep 17 00:00:00 2001
From: Orestis <orestis.malaspinas@pm.me>
Date: Fri, 18 Feb 2022 22:46:23 +0100
Subject: [PATCH] updated dockers

---
 .gitlab-ci.yml            | 4 ++--
 slides/.puppeteer.json    | 4 ++++
 slides/Makefile           | 7 +++++++
 slides/cours_15.md        | 3 ++-
 slides/docker-compose.yml | 6 ++++--
 slides/figs/.gitignore    | 1 +
 6 files changed, 20 insertions(+), 5 deletions(-)
 create mode 100644 slides/.puppeteer.json
 create mode 100644 slides/figs/.gitignore

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 81f4229..a6c355c 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -9,8 +9,8 @@ before_script:
    ## Install ssh-agent if not already installed, it is required by Docker.
    ## (change apt-get to yum if you use an RPM-based image)
    ##
-   - 'which ssh-agent || (pacman -S --noconfirm openssh)'
-   - 'which rsync || (pacman -S --noconfirm rsync)'
+   - 'which ssh-agent || (apk add --update openssh-client)'
+   - 'which rsync || (apk add --update rsync)'
 
 
    ##
diff --git a/slides/.puppeteer.json b/slides/.puppeteer.json
new file mode 100644
index 0000000..5de4752
--- /dev/null
+++ b/slides/.puppeteer.json
@@ -0,0 +1,4 @@
+{
+    "executablePath": "/usr/bin/chromium-browser",
+    "args": ["--no-sandbox"]
+}
diff --git a/slides/Makefile b/slides/Makefile
index 647558b..74dc522 100644
--- a/slides/Makefile
+++ b/slides/Makefile
@@ -26,6 +26,13 @@ markdown: $(MARKDOWN) # La markdown les cibles %.markdown
 %.pdf: %.md metadata.yaml # %.pdf (chaque fichier %.md génère un fichier avec le même nom mais l'extension .pdf et la dépendance metadata.yaml)
 	pandoc -s $(OPTIONS) $(PDFOPTIONS) -o $@ $^
 
+# %.pdf: %.md metadata.yaml # %.pdf (chaque fichier %.md génère un fichier avec le même nom mais l'extension .pdf et la dépendance metadata.yaml)
+# ifeq ($(PANDOC),pandoc)
+# 	pandoc -s $(OPTIONS) $(PDFOPTIONS) -o $@ $^
+# else
+# 	-s $(OPTIONS) $(PDFOPTIONS) -o $@ $^
+# endif
+
 %.markdown: %.md metadata.yaml yq
 	sed '1 { /^---/ { :a N; /\n---/! ba; d} }' $< > no_header
 	grep -v -F -x -f  no_header $< > header.yaml
diff --git a/slides/cours_15.md b/slides/cours_15.md
index fe1d416..684a1cf 100644
--- a/slides/cours_15.md
+++ b/slides/cours_15.md
@@ -413,7 +413,8 @@ graph TD;
 
 ## Remarques
 
-* L'arbre est **hétérogène**: le genre d'info est pas le même sur chaque noeud.
+* L'arbre est **hétérogène**: le genre d'info est pas le même sur chaque noeud
+  (opérateur, opérande).
     * Les feuilles contiennent les opérandes.
     * Les noeuds internes contiennent les opérateurs.
 
diff --git a/slides/docker-compose.yml b/slides/docker-compose.yml
index 07bdfda..36c90f3 100644
--- a/slides/docker-compose.yml
+++ b/slides/docker-compose.yml
@@ -8,5 +8,7 @@ services:
             GROUP: 1000
         container_name: slides
         volumes:
-            - ./:/mnt/slides
-        working_dir: /mnt/slides/
+            - ./:/data
+        entrypoint: ["make", "all"]
+        working_dir: /data
+        # user: "$(id -u):$(id -g)"
diff --git a/slides/figs/.gitignore b/slides/figs/.gitignore
new file mode 100644
index 0000000..75a9b37
--- /dev/null
+++ b/slides/figs/.gitignore
@@ -0,0 +1 @@
+diagram*
-- 
GitLab