From 033d763aa6702eef251a80b19d84c7678dd35974 Mon Sep 17 00:00:00 2001 From: rick Date: Thu, 4 May 2023 23:35:24 +0200 Subject: [PATCH] change org option --- Dockerfile | 2 +- generate.sh | 8 ++++---- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/Dockerfile b/Dockerfile index b6c0480..cfffa79 100644 --- a/Dockerfile +++ b/Dockerfile @@ -8,7 +8,7 @@ COPY css/ css/ COPY lang/ lang/ COPY generate.sh . -RUN ./generate.sh -o +RUN ./generate.sh RUN cp -r www/* /usr/share/nginx/html/ EXPOSE 80 diff --git a/generate.sh b/generate.sh index bd9c0f8..ad432a2 100755 --- a/generate.sh +++ b/generate.sh @@ -30,7 +30,7 @@ target="www" defaultLang="fr" header="header.html" footer="footer.html" -org=1 +org=0 ################################################################################ # Génère un message d'aide @@ -46,7 +46,7 @@ destination ($target par défaut). Options : -h génère ce message et arrête le script -c nettoie les fichiers générés - -o ne génère pas les fichiers org + -o génère les fichiers org -t lance un docker pour pouvoir tester le site Les options suivantes seront codées dans un futur proche : @@ -68,8 +68,8 @@ fi while [ -n "$1" ] do case $1 in - "-o") # pas de génération des fichiers org - org=0 + "-o") # génération des fichiers org + org=1 ;; "-c") # on nettoie les fichiers # TODO si on précise un dossier, nettoyer ce dossier