# HG changeset patch
# User Jeff Hammel <k0scist@gmail.com>
# Date 1476893074 25200
# Node ID e059c4e85d9ff700c22a7444788aa78a31facd57
# Parent  82db7fa25a3514132fd9eb5fd1ca42dc037552f6
add docker cleanup helper

diff -r 82db7fa25a35 -r e059c4e85d9f bin/docker_vacuum.sh
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/bin/docker_vacuum.sh	Wed Oct 19 09:04:34 2016 -0700
@@ -0,0 +1,12 @@
+#!/bin/bash
+
+# http://blog.yohanliyanage.com/2015/05/docker-clean-up-after-yourself/
+
+# Make sure exited containers are deleted
+docker rm -v $(docker ps -a -q -f status=exited)
+
+# Remove unwanted 'dangling' images
+docker rmi $(docker images -f "dangling=true" -q)
+
+# Remove unwanted volumes
+docker volume rm $(docker volume ls -qf dangling=true)