From 08562fadb41b454dacf538cde289ebf10ed5be12 Mon Sep 17 00:00:00 2001 From: rick Date: Fri, 13 Jan 2023 20:12:02 +0100 Subject: [PATCH] fix bad link in footer for sourcecode --- footer.html | 2 +- generate.sh | 6 +++++- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/footer.html b/footer.html index 6e0bb5e..fee14f4 100644 --- a/footer.html +++ b/footer.html @@ -8,7 +8,7 @@ diff --git a/generate.sh b/generate.sh index c0370f8..df17231 100755 --- a/generate.sh +++ b/generate.sh @@ -126,6 +126,10 @@ do cat $tmpHeader > $file # on extrait le bloc contenant les link, on les enlève et rajoute # + # merci + # https://www.theunixschool.com/2012/12/sed-10-examples-to-print-lines-from-file.html + # https://stackoverflow.com/questions/68573654/copy-a-content-from-one-file-and-need-to-replace-in-another-file-using-sed + # https://unix.stackexchange.com/questions/26284/how-can-i-use-sed-to-replace-a-multi-line-string # TODO pouvoir mettre plusieurs lignes link newHeader=$(sed -n -e "/%link%/,/%endlink%/p" $files/$l/$i | sed -e "/%link%/d;/%endlink%/d" -e 's/\//\\\//g' -e "i' | tr -d "\n") @@ -149,7 +153,7 @@ do sed -i -e "s/img alt=\"$l/img id=\"choose\" alt=\"$l/" $file sed -i -e "s/%file%/$i/" $file - sed -i -e "s/%gitfile%/$l\/$i/" $file + sed -i -e "s/%gitfile%/lang\/$l\/$i/" $file sed -i -e "s/%lang%/$l/" $file done done