yet another docker cleanup call

intersystems-community · Feb 3, 2024 · 21eceb3 · 21eceb3
1 parent a2c2365
commit 21eceb3
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/dev.md b/dev.md
@@ -5,6 +5,11 @@ use it when docker says "There is no space left on device". It will remove built
 docker system prune -f
 ```
 
+## if the previous doesn't help anymore:
+```
+docker system prune -a
+```
+
 ```
 docker rm -f $(docker ps -qa)
 ```