ajout fonctionnalité de titre custom
This commit is contained in:
parent
f37c0cb962
commit
4921b15074
2 changed files with 6 additions and 1 deletions
|
|
@ -25,7 +25,7 @@ find "$source_path" -wholename "*.gmi" -type f | while read -r gmi_file
|
|||
do
|
||||
|
||||
# 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") $2"
|
||||
|
||||
# dans le header.html, remplacer "<\-- TITLE -->" par le titre récupéré
|
||||
# puis enregistrer le fichier ainsi modifié dans "temp/header.html"
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue