changeset 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 58246a3c863c
children 91363ee7b7a4
files scripts/pid2name.sh
diffstat 1 files changed, 3 insertions(+), 0 deletions(-) [+]
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'
+