Merge branch 'ws16_patroni' into 'master'

Ws16 patroni

See merge request formation/workshops!336

.gitignore

@@ -3,7 +3,7 @@ exports/*
 *.sw?
 .~lock.*
 *.pgdump
-
+*.pdf
 fr/**/*.json
 fr/**/*.html
 fr/**/*.tex
@@ -18,4 +18,4 @@ en/**/*.tex
 en/**/*.pdf
 en/**/*.odt
 en/**/*.doc
-en/**/*.epub
+en/**/*.epub

.gitlab-ci.yml

@@ -38,6 +38,7 @@ image:
 pandocker:
   stage: build
   script:
+    # Limitation à faire sauter avant fusion avec la branche "master"
     - make all
     # FIX #197: publish the old artefacts alongside the new ones 
     - rsync --archive _archives/fr/* fr

fr/index.md

@@ -22,9 +22,9 @@ Workshop réplication logique
 Workshop Haute disponibilité : Patroni
 --------------------------------------------------------------------------------
 
-* Slides : [HTML](patroni/patroni.slides.html)
-* Handout : [HTML](patroni/patroni.handout.html) [PDF](patroni/patroni.pdf)
-* Mobile : [EPUB](patroni/patroni.epub)
+* Slides : [HTML](patroni_2024/patroni.slides.html)
+* Handout : [HTML](patroni_2024/patroni.handout.html) [PDF](patroni_2024/patroni.pdf)
+* Mobile : [EPUB](patroni_2024/patroni.epub)
 
 Workshop pgsodium: Chiffrer vos données dans PostgreSQL avec pgsodium
 --------------------------------------------------------------------------------

fr/patroni_2024/.editorconfig

@@ -0,0 +1,15 @@
+# See http://editorconfig.org/
+
+root = true
+
+[*]
+charset = utf-8
+# Unix-style newlines
+end_of_line = lf
+insert_final_newline = true
+
+[Makefile]
+indent_style = tab
+
+[*.{md,markdown}]
+trim_trailing_whitespace = false

fr/patroni_2024/README.md

@@ -0,0 +1,23 @@
+# Haute disponibilité avec Patroni
+
+## Connexion à la VM
+
+La mise en pratique de l'atelier se fera sur une machine virtuelle hébergée chez Dalibo. L'adresse de connexion est la même pour tous.
+
+Pour y accéder, nous attribuerons un numéro de port à chaque participant⋅e. Le numéro de port vous sera donné par l'animateur lors de votre première connexion à la conférence.
+
+Deux options pour vous connecter :
+
+  * directement avec votre client ssh :
+
+```Bash
+ssh eformation.dalibo.com -l dalibo -p <numéro_du_port_attribué>
+```
+
+OU
+
+  * avec PuTTY (environnement MS-Windows), en renseignant les champs suivants :
+
+> host : eformation.dalibo.com
+login : dalibo
+port : <numéro_du_port_attribué>