From 14a8e33e9c53b155c17cde4b95a275bcd3458c2f Mon Sep 17 00:00:00 2001 From: Arnaud Legrand Date: Thu, 21 Mar 2019 10:19:03 +0100 Subject: [PATCH] Move the processing/sed into a clean perl script --- .gitlab-ci.yml | 9 +++------ bin/pandoc_fixer.pl | 38 ++++++++++++++++++++++++++++++++++++++ 2 files changed, 41 insertions(+), 6 deletions(-) create mode 100755 bin/pandoc_fixer.pl diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 8d62c03..0b14a4d 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -6,12 +6,9 @@ pages: - pandoc --help # - 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 "
  • ${file%.*}.html
    • " >> index.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${file%.*}.html" >> index.html || echo "ERROR $file"; + bin/pandoc_fixer.pl ${file} > ${file}.new; + mv ${file}.new ${file}; done # The next part is broken because pandoc is way too old on this image :( # - for file in $(find -name "*.org"); do diff --git a/bin/pandoc_fixer.pl b/bin/pandoc_fixer.pl new file mode 100755 index 0000000..d6eb187 --- /dev/null +++ b/bin/pandoc_fixer.pl @@ -0,0 +1,38 @@ +#!/usr/bin/perl -w +use strict; + +if($#ARGV!=0) { + die "Usage: pandox_fixer.pl input.md"; +} +my($input)=shift(@ARGV); +if(!($input =~ /.md$/)) { + die "Usage: pandox_fixer.pl input.md"; +} +my($line); + +my($gitdate)=`git log $input | grep Date | head -n 1`; +chomp($gitdate); +$gitdate =~ s/Date: *//g; +$gitdate =~ s/\s*\+.*$//g; + + +$input =~ s/.md/.html/; + +open INPUT, $input or die; + +while(defined($line=)) { + $line =~ s|https://gitlab.inria.fr/learninglab/|https://learninglab.gitlabpages.inria.fr/|g; ## Not such a good idea! + if($input=~ /_fr.html/) { + $line =~ s||Les sources de ce document sont disponibles sur gitlab.|g; + } else { + $line =~ s||The source of this this document is available on gitlab.|g; + } + $line =~ s|---

    |
    |g; + $line =~ s|Date:.*Date: $gitdateTITLE:\(.*\)TITLE:$1