diff --git a/genlog.sh b/genlog.sh index b5f3387..d908771 100755 --- a/genlog.sh +++ b/genlog.sh @@ -32,16 +32,16 @@ do gmnitohtml < "$gmi_file" > "$tempdir/body.html" # on récupère juste le path du dossier qui contient le .gmi - path="$(dirname "$gmi_file")" + file_path="$(dirname "$gmi_file")" # on récupère juste le nom du fichier .gmi sans son extenstion ".gmi" - filename="$(basename "$gmi_file" .gmi)" + file_name="$(basename "$gmi_file" .gmi)" # on assemble les 3 morceaux et on l'écrit dans le dossier du .gmi qui est traité - cat "$tempdir/header.html" "$tempdir/body.html" "$tempdir/footer.html" > "$path/$filename.html" + cat "$tempdir/header.html" "$tempdir/body.html" "$tempdir/footer.html" > "$file_path/$file_name.html" # je crois c'est bon echo "OK: $title" - echo " ⤷ $gmi_file" + echo " ⤷ $file_path/$file_name.html" done