secure script

FreeFem · Apr 6, 2022 · 31b801d · 31b801d
1 parent 86677ea
commit 31b801d
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.jenkins/clean.sh b/.jenkins/clean.sh
@@ -1,5 +1,5 @@
 #!/bin/bash
 
-sudo docker container stop "$(sudo docker container ls -aq)"
-sudo docker container rm "$(sudo docker container ls -aq)"
-sudo docker rmi "$(sudo docker images -q)"
+sudo docker container stop "$(sudo docker container ls -aq)" | true
+sudo docker container rm "$(sudo docker container ls -aq)" | true
+sudo docker rmi "$(sudo docker images -q)" | true