From 847a16d34d28001fced6bdf661d8261e512865f5 Mon Sep 17 00:00:00 2001 From: OniriCorpe Date: Fri, 6 May 2022 22:53:02 +0200 Subject: [PATCH] =?UTF-8?q?d=C3=A9sambiguisation=20de=20variables=20et=20f?= =?UTF-8?q?ix=20nom=20fichier=20=C3=A9crit?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- genlog.sh | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) 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