diff scripts/pid2name.sh @ 42:2e2b47145349

add script to convert host pid into container name
author Dave smith <smith@nwoca.org>
date Sun, 24 Jan 2016 10:04:59 -0500
parents
children 334d65dac778
line wrap: on
line diff
--- /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'
+