change org option
authorrick <rick@gnous.eu>
Thu, 4 May 2023 21:35:24 +0000 (23:35 +0200)
committerrick <rick@gnous.eu>
Thu, 4 May 2023 21:35:24 +0000 (23:35 +0200)
Dockerfile
generate.sh

index b6c0480b7a1f526bf102e847abbdfc1c598c1583..cfffa79ac5f163fb3e1f7c4bde8d085dcf4e6614 100644 (file)
@@ -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
index bd9c0f82891d34658987c79f36c8e053b2c3d8b0..ad432a25a9a08740c35975b45afc3cee885effea 100755 (executable)
@@ -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