# HG changeset patch
# User Jeff Hammel <k0scist@gmail.com>
# Date 1531937912 25200
# Node ID 002c1e85ff308d733cbf1e764049ec5f5d8f7b1c
# Parent  909f72bd6cb3cf9aeb596f11d5763d6da2ba671f
prune docker volumes

diff -r 909f72bd6cb3 -r 002c1e85ff30 bin/docker_vacuum.sh
--- a/bin/docker_vacuum.sh	Wed Jul 18 09:29:20 2018 -0700
+++ b/bin/docker_vacuum.sh	Wed Jul 18 11:18:32 2018 -0700
@@ -13,3 +13,4 @@
 
 # Remove unwanted volumes
 docker volume rm $(docker volume ls -qf dangling=true)
+docker volume prune -f