diff --git a/tools/docker.sh b/tools/docker.sh index c19579e..728d5e2 100644 --- a/tools/docker.sh +++ b/tools/docker.sh @@ -12,6 +12,7 @@ docker stop # Gracefully stop the specified cont docker ps -a # See a list of all containers, even the ones not running docker kill # Force shutdown of the specified container docker rm # Remove the specified container from this machine +docker rm -f # Remove force specified container from this machine docker rm $(docker ps -a -q) # Remove all containers from this machine docker images -a # Show all images on this machine docker rmi # Remove the specified image from this machine