OnirismCorporation/genlog
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

chu bete des fois mdr

Browse source
This commit is contained in:
OniriCorpe 2022-03-12 02:24:50 +01:00
parent f4a70ad3be
commit 0df7c53bc2
1 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
genlog.sh
View file

@ -8,23 +8,23 @@ find "${PWD}" -wholename "*.gmi" -type f | while read gmi_file
do do
# récupérer la 1ère ligne du fichier .gmi et remplacer "# " par "" # récupérer la 1ère ligne du fichier .gmi et remplacer "# " par ""
title=$("sed -n '1{s/# //p}' $gmi_file") title="$(sed -n '1{s/# //p}' $gmi_file)"
# dans le header.html, remplacer "<\-- TITLE -->" par le titre récupéré # dans le header.html, remplacer "<\-- TITLE -->" par le titre récupéré
# puis enregistrer le fichier ainsi modifié dans "temp/header.html" # puis enregistrer le fichier ainsi modifié dans "temp/header.html"
sed "s#<\!-- TITLE -->#$title#" "${PWD}"/html/header.html > "${PWD}"/temp/header.html sed "s#<\!-- TITLE -->#$title#" "${PWD}"/html/header.html > "${PWD}"/temp/header.html
# on génère la date et on la fout dans le footer # on génère la date et on la fout dans le footer
date=$("date") date="$(date)"
sed "s/GEN_DATE/$date/" "${PWD}"/html/footer.html > "${PWD}"/temp/footer.html sed "s/GEN_DATE/$date/" "${PWD}"/html/footer.html > "${PWD}"/temp/footer.html
# conversion du .gmi en .html # conversion du .gmi en .html
gmnitohtml < $gmi_file > "${PWD}"/temp/body.html gmnitohtml < $gmi_file > "${PWD}"/temp/body.html
# on récupère juste le path du dossier qui contient le .gmi # on récupère juste le path du dossier qui contient le .gmi
path=$("dirname $gmi_file") path="$(dirname $gmi_file)"
# on récupère juste le nom du fichier .gmi sans son extenstion ".gmi" # on récupère juste le nom du fichier .gmi sans son extenstion ".gmi"
filename=$("basename $gmi_file .gmi") filename="$(basename $gmi_file .gmi)"
# on assemble les 3 morceaux et on l'écrit dans le dossier du .gmi qui est traité # on assemble les 3 morceaux et on l'écrit dans le dossier du .gmi qui est traité
cat "${PWD}"/temp/header.html "${PWD}"/temp/body.html "${PWD}"/temp/footer.html > $path/$filename.html cat "${PWD}"/temp/header.html "${PWD}"/temp/body.html "${PWD}"/temp/footer.html > $path/$filename.html