remove docker image after use
authorrick <rick@gnous.eu>
Tue, 17 Jan 2023 22:25:53 +0000 (23:25 +0100)
committerrick <rick@gnous.eu>
Tue, 17 Jan 2023 22:25:53 +0000 (23:25 +0100)
generate.sh

index f3e03d7f8f9228856a96337499531c1293fe8985..4a2d88be39489df0418213ab75d478533ac60b9e 100755 (executable)
@@ -94,9 +94,11 @@ fi
 
 if [[ $@ =~ "-t" ]]
 then
-    docker build . --tag site && echo -e "\n\033[32mC-c pour quitter\033[0m\n" || exit 1
+    docker build . --tag site && echo -e "\n\033[32mSite de test déployé sur l'adresse localhost:8080\033[0m" || exit 1
+    echo -e "\033[32mC-c pour quitter\033[0m\n"
 
     docker run --rm -p 8080:80 site
+    docker rmi site
     exit 0
 fi