duneci-docker-gc: Use "docker rm -v"

Without "-v", docker would keep around volumes used by the container
forever and eventually fill the disk.
parent 977e52b8
...@@ -5,5 +5,5 @@ ...@@ -5,5 +5,5 @@
set -e set -e
set -u set -u
docker rm $(docker ps -a -q -f status=exited) docker rm -v $(docker ps -a -q -f status=exited)
docker rmi $(docker images --filter dangling=true -q) docker rmi $(docker images --filter dangling=true -q)
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment