From 2f449a81b32d24cd92a74a258bd784a9e97b753c Mon Sep 17 00:00:00 2001 From: OniriCorpe Date: Fri, 6 May 2022 22:40:08 +0200 Subject: [PATCH] suppression rm inutile --- genlog.sh | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/genlog.sh b/genlog.sh index 24e1752..fd46baf 100755 --- a/genlog.sh +++ b/genlog.sh @@ -39,9 +39,6 @@ do # 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" - # on nettoie le dossier de taff - rm "$tempdir/*" - # je crois c'est bon echo "OK: $title" echo "⤷ $gmi_file" @@ -49,7 +46,7 @@ do done # on vire le dossier de taff devenu inutile -rm -rf "$tempdir" +rmdir "$tempdir" # cette fois c'est vraiment fini echo "Done."