From ec8212aa44b2d5e09da6a069e0e0b0bea1edd374 Mon Sep 17 00:00:00 2001 From: Arnaud Legrand Date: Tue, 12 Mar 2019 17:03:02 +0100 Subject: [PATCH] Improve page generation --- .gitlab-ci.yml | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index db5b177..6f91ae4 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -1,15 +1,21 @@ -image: debian:testing-20181011-slim +# image: debian:testing-20181011-slim # Non-functional on Inria Gitlab :( pages: stage: deploy script: - pandoc --version - pandoc --help - # - pandoc --list-input-formats + # - pandoc --list-input-formats # Broken as pandoc dates from 2013 on this image! :( - for file in $(find -name "*.md"); do pandoc -s -f markdown_github -t html -o ${file%.*}.html $file && echo "Exported ${file%.*}.html" || echo "ERROR $file"; + sed -i 's|https://gitlab.inria.fr/learninglab/|https://learninglab.gitlabpages.inria.fr/|g' ${file%.*}.html + sed -i "s||The original version of this document is available on gitlab.|g" ${file%.*}.html + sed -i "s|\-\-\-

|
|g" ${file%.*}.html + sed -i "s|

TITLE: \(.*\)TITLE: \1Date\1