Refinement to container cleanup

idris-hackers · Sep 27, 2018 · eff7b14 · eff7b14
1 parent 2ce2b2b
commit eff7b14
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/script/assert-examples b/script/assert-examples
@@ -112,7 +112,8 @@ __check_evaluation() {
 }
 
 __clean_up_containers() {
-  docker ps | awk '/ (hours|days)/ { print $NF }' |
+  docker ps --no-trunc --format='{{.RunningFor}}:{{.ID}}' |
+    awk -F: '/ (hour|hours|day|days) / { print $2 }' |
     while read -r cid; do
       docker rm -f "${cid}"
     done