annotate 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
rev   line source
42
2e2b47145349 add script to convert host pid into container name
Dave smith <smith@nwoca.org>
parents:
diff changeset
1 docker ps -q | xargs docker inspect --format '{{.State.Pid}} {{.Name}}' \
2e2b47145349 add script to convert host pid into container name
Dave smith <smith@nwoca.org>
parents:
diff changeset
2 | grep "^$1" | sed 's/^.*\///g'
2e2b47145349 add script to convert host pid into container name
Dave smith <smith@nwoca.org>
parents:
diff changeset
3