change org option

This commit is contained in:
rick 2023-05-04 23:35:24 +02:00
parent c63f9e5a08
commit 033d763aa6
Signed by: Rick
GPG key ID: 5CBE8779CD27BCBA
2 changed files with 5 additions and 5 deletions

View 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

View file

@ -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