updated dockers

.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)'
 
 
    ##

slides/.puppeteer.json

+{
+    "executablePath": "/usr/bin/chromium-browser",
+    "args": ["--no-sandbox"]
+}

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

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.
 

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

slides/figs/.gitignore

+diagram*