# HG changeset patch
# User Dave smith <smith@nwoca.org>
# Date 1453647899 18000
# Node ID 2e2b471453494afda17d65b026b1ca9a9d26214a
# Parent  58246a3c863ca0756fc3ed96643e417f738665f5
add script to convert host pid into container name

diff -r 58246a3c863c -r 2e2b47145349 scripts/pid2name.sh
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/scripts/pid2name.sh	Sun Jan 24 10:04:59 2016 -0500
@@ -0,0 +1,3 @@
+docker ps -q | xargs docker inspect --format '{{.State.Pid}} {{.Name}}' \
+     | grep "^$1" |  sed 's/^.*\///g'
+