Add script to reclaim unused Docker space

bin/docker-clean

@@ -0,0 +1,12 @@
+#!/usr/bin/env bash
+
+# Per https://lebkowski.name/docker-volumes/
+
+# remove exited containers:
+docker ps --filter status=dead --filter status=exited -aq | xargs -r docker rm -v
+
+# remove unused images:
+docker images --no-trunc | grep '<none>' | awk '{ print $3 }' | xargs -r docker rmi
+
+# remove unused volumes:
+docker volume ls -qf dangling=true | xargs -r docker volume rm