Skip to content
Snippets Groups Projects

Stage L3 — contenu du portail FIL

pipeline status

Pour mettre à jour le contenu du portail

Il suffit d'éditer les fichiers sous content/, commit et push. Il n'y a rien d'autre à faire : l'intégration continue de Gitlab intervient automatiquement après chaque push, convertit les pages rédigées en Markdown (fichiers *.md), et publie la nouvelle version.

Comment ça marche

La procédure de conversion et publication est dans le Makefile; make help en documente les cibles principales. La publication consiste à committer le contenu du répertoire output/ dans la branche dédiée public qui est disjointe de main (pas de commit ancêtre commun, hiérarchie différente). Il n'y a aucune raison de travailler directement sur public.

Conversion en local

Utile pour par exemple contrôler le balisage HTML généré. Nécessite l'installation de pandoc.

Invoquez make build, ou juste make; le résultat est produit dans le répertoire output/.

Publication à la main

Attention : toute version publiée manuellement, ou toute sera écrasée par l'intégration continue au commit+push suivant, donc au mieux c'est redondant.

Invoquez make publish; c'est ce que fait l'intégration continue (fichier .gitlab-ci.yml).

Maintenance du portail